986 static struct arm_mmu_ptables kernel_ptables;  variable
1014 		kernel_ptables.base_xlat_table = new_table();  in z_arm64_mm_init()
1015 		setup_page_tables(&kernel_ptables);  in z_arm64_mm_init()
1019 	enable_mmu_el1(&kernel_ptables, flags);  in z_arm64_mm_init()
1035 		ret = globalize_page_range(domain_ptables, &kernel_ptables,  in sync_domains()
1051 	ptables = &kernel_ptables;  in __arch_mem_map()
1139 	remove_map(&kernel_ptables, "generic", (uintptr_t)addr, size);  in arch_mem_unmap()
1225 		dup_table(kernel_ptables.base_xlat_table, BASE_XLAT_LEVEL);  in arch_mem_domain_init()
1243 	ret = privatize_page_range(ptables, &kernel_ptables, virt, size, name);  in private_map()
1258 	ret = globalize_page_range(ptables, &kernel_ptables, addr, size, name);  in reset_map()
1419 	uint64_t *pte = get_pte_location(&kernel_ptables, virt);  in arch_mem_page_out()
1451 	uint64_t *pte = get_pte_location(&kernel_ptables, virt);  in arch_mem_page_in()
1485 	uint64_t *pte = get_pte_location(&kernel_ptables, virt);  in arch_page_location_get()
1515 	uint64_t *pte = get_pte_location(&kernel_ptables, virt);  in arch_page_info_get()
1572 	int ret = add_map(&kernel_ptables, "scratch", phys, virt, size, MT_SCRATCH);  in arch_mem_scratch()
1623 	pte = get_pte_location(&kernel_ptables, virt);  in z_arm64_do_demand_paging()