Searched refs:pmap_addr_val (Results 1 – 1 of 1) sorted by relevance
446 def _PmapL4Walk(pmap_addr_val,vaddr, ept_pmap, verbose_level = vSCRIPT): argument451 pt_paddr = unsigned(pmap_addr_val)452 pt_valid = (unsigned(pmap_addr_val) != 0)