Searched refs:pml4_pa (Results 1 – 1 of 1) sorted by relevance
33 vm_paddr_t pml5_pa, pml4_pa; in l1_guest_code() local55 pml4_pa = pml5[0] & PHYSICAL_PAGE_MASK; in l1_guest_code()56 vmwrite(GUEST_CR3, pml4_pa); in l1_guest_code()