306 static int set_mapping(uint64_t *top_table, uintptr_t virt, size_t size,  in set_mapping()
378 static void del_mapping(uint64_t *table, uintptr_t virt, size_t size,  in del_mapping()
456 			   uintptr_t virt, size_t size, unsigned int level)  in privatize_table()
549 			   uintptr_t virt, size_t size, unsigned int level)  in globalize_table()
739 		     uintptr_t phys, uintptr_t virt, size_t size, uint32_t attrs)  in __add_map()
754 		   uintptr_t phys, uintptr_t virt, size_t size, uint32_t attrs)  in add_map()
766 		       uintptr_t virt, size_t size)  in remove_map()
786 static inline void invalidate_tlb_page(uintptr_t virt)  in invalidate_tlb_page()
858 static inline void inv_dcache_after_map_helper(void *virt, size_t size, uint32_t attrs)  in inv_dcache_after_map_helper()
1022 static void sync_domains(uintptr_t virt, size_t size, const char *name)  in sync_domains()
1045 static int __arch_mem_map(void *virt, uintptr_t phys, size_t size, uint32_t flags)  in __arch_mem_map()
1112 void arch_mem_map(void *virt, uintptr_t phys, size_t size, uint32_t flags)  in arch_mem_map()
1144 int arch_page_phys_get(void *virt, uintptr_t *phys)  in arch_page_phys_get()
1239 		       uintptr_t phys, uintptr_t virt, size_t size, uint32_t attrs)  in private_map()
1393 				  uintptr_t virt)  in get_pte_location()
1418 	uintptr_t virt = (uintptr_t)addr;  in arch_mem_page_out()  local
1450 	uintptr_t virt = (uintptr_t)addr;  in arch_mem_page_in()  local
1484 	uintptr_t virt = (uintptr_t)addr;  in arch_page_location_get()  local
1514 	uintptr_t virt = (uintptr_t)addr;  in arch_page_info_get()  local
1570 	uintptr_t virt = (uintptr_t)K_MEM_SCRATCH_PAGE;  in arch_mem_scratch()  local
1582 static bool do_mem_page_fault(struct arch_esf *esf, uintptr_t virt)  in do_mem_page_fault()
1601 	uintptr_t virt = far;  in z_arm64_do_demand_paging()  local