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