Searched refs:pml5_pa (Results 1 – 1 of 1) sorted by relevance
33 vm_paddr_t pml5_pa, pml4_pa; in l1_guest_code() local53 pml5_pa = get_cr3() & PHYSICAL_PAGE_MASK; in l1_guest_code()54 pml5 = (u64 *)pml5_pa; in l1_guest_code()