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