Lines Matching defs:vaddr
46 static bool x86_mmu_check_vaddr(vaddr_t vaddr) { in x86_mmu_check_vaddr()
89 static inline uint64_t get_pml4_entry_from_pml4_table(vaddr_t vaddr, addr_t pml4_addr) { in get_pml4_entry_from_pml4_table()
97 static inline uint64_t get_pdp_entry_from_pdp_table(vaddr_t vaddr, uint64_t pml4e) { in get_pdp_entry_from_pdp_table()
106 static inline uint64_t get_pd_entry_from_pd_table(vaddr_t vaddr, uint64_t pdpe) { in get_pd_entry_from_pd_table()
115 static inline uint64_t get_pt_entry_from_pt_table(vaddr_t vaddr, uint64_t pde) { in get_pt_entry_from_pt_table()
190 status_t x86_mmu_get_mapping(map_addr_t pml4, vaddr_t vaddr, uint32_t *ret_level, in x86_mmu_get_mapping()
258 vaddr_t vaddr, arch_flags_t in_flags, in x86_mmu_check_mapping()
290 static void update_pt_entry(vaddr_t vaddr, paddr_t paddr, uint64_t pde, arch_flags_t flags) { in update_pt_entry()
301 static void update_pd_entry(vaddr_t vaddr, uint64_t pdpe, map_addr_t m, arch_flags_t flags) { in update_pd_entry()
314 static void update_pdp_entry(vaddr_t vaddr, uint64_t pml4e, map_addr_t m, arch_flags_t flags) { in update_pdp_entry()
327 static void update_pml4_entry(vaddr_t vaddr, addr_t pml4_addr, map_addr_t m, arch_flags_t flags) { in update_pml4_entry()
365 vaddr_t vaddr, arch_flags_t mmu_flags) { in x86_mmu_add_mapping()
467 static void x86_mmu_unmap_entry(vaddr_t vaddr, int level, vaddr_t table_entry) { in x86_mmu_unmap_entry()
543 status_t x86_mmu_unmap(map_addr_t pml4, vaddr_t vaddr, uint count) { in x86_mmu_unmap()
562 int arch_mmu_unmap(arch_aspace_t *aspace, vaddr_t vaddr, uint count) { in arch_mmu_unmap()
621 status_t arch_mmu_query(arch_aspace_t *aspace, vaddr_t vaddr, paddr_t *paddr, uint *flags) { in arch_mmu_query()
652 int arch_mmu_map(arch_aspace_t *aspace, vaddr_t vaddr, paddr_t paddr, uint count, uint flags) { in arch_mmu_map()