Searched defs:pml4_addr (Results 1 – 3 of 3) sorted by relevance
142 static inline uint64_t get_pml4_entry_from_pml4_table(vaddr_t vaddr, addr_t pml4_addr) in get_pml4_entry_from_pml4_table()427 static void update_pml4_entry(vaddr_t vaddr, addr_t pml4_addr, map_addr_t m, arch_flags_t flags) in update_pml4_entry()
96 uint64_t pml4_addr; member
661 let pml4_addr = GuestAddress(0x9000); in configure_long_mode_memory() localVariable724 let pml4_addr = GuestAddress(0x9000); in enter_long_mode() localVariable