Searched refs:get_pdp_entry_from_pdp_table (Results 1 – 2 of 2) sorted by relevance
52 static inline map_addr_t get_pdp_entry_from_pdp_table(vaddr_t vaddr, map_addr_t pdpt) in get_pdp_entry_from_pdp_table() function178 pdt = get_pdp_entry_from_pdp_table(vaddr, pdpt); in x86_mmu_get_mapping()346 pdt = get_pdp_entry_from_pdp_table(vaddr, init_table); in x86_mmu_add_mapping()
151 static inline uint64_t get_pdp_entry_from_pdp_table(vaddr_t vaddr, uint64_t pml4e) in get_pdp_entry_from_pdp_table() function302 pdpe = get_pdp_entry_from_pdp_table(vaddr, pml4e); in x86_mmu_get_mapping()496 pdpe = get_pdp_entry_from_pdp_table(vaddr, pml4e); in x86_mmu_add_mapping()