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()
80 static inline map_addr_t get_pd_entry_from_pd_table(vaddr_t vaddr, map_addr_t pdt)  in get_pd_entry_from_pd_table()
90 static inline map_addr_t get_pt_entry_from_page_table(vaddr_t vaddr, map_addr_t pt)  in get_pt_entry_from_page_table()
158 status_t x86_mmu_get_mapping(map_addr_t init_table, vaddr_t vaddr, uint32_t *ret_level,  in x86_mmu_get_mapping()
237                                vaddr_t vaddr, arch_flags_t in_flags,  in x86_mmu_check_mapping()
271 static void update_pdp_entry(vaddr_t vaddr, map_addr_t pdpt, map_addr_t *m, arch_flags_t flags)  in update_pdp_entry()
282 static void update_pt_entry(vaddr_t vaddr, map_addr_t paddr, map_addr_t pt, arch_flags_t flags)  in update_pt_entry()
294 static void update_pd_entry(vaddr_t vaddr, map_addr_t pdt, paddr_t m, arch_flags_t flags)  in update_pd_entry()
331                              vaddr_t vaddr, arch_flags_t mmu_flags)  in x86_mmu_add_mapping()
411 static void x86_mmu_unmap_entry(vaddr_t vaddr, int level, map_addr_t table_entry)  in x86_mmu_unmap_entry()
469 status_t x86_mmu_unmap(map_addr_t init_table, vaddr_t vaddr, size_t count)  in x86_mmu_unmap()
493 int arch_mmu_unmap(arch_aspace_t *aspace, vaddr_t vaddr, size_t count)  in arch_mmu_unmap()
552 status_t arch_mmu_query(arch_aspace_t *aspace, vaddr_t vaddr, paddr_t *paddr, uint *flags)  in arch_mmu_query()
582 int arch_mmu_map(arch_aspace_t *aspace, vaddr_t vaddr, paddr_t paddr, size_t count, uint flags)  in arch_mmu_map()