Searched defs:pdpt (Results 1 – 1 of 1) 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()163 map_addr_t pdpt; in x86_mmu_get_mapping() local271 static void update_pdp_entry(vaddr_t vaddr, map_addr_t pdpt, map_addr_t *m, arch_flags_t flags) in update_pdp_entry()