587 		uintptr_t phys = get_entry_phys(entry, level);  in print_entries()  local
593 				if (phys == virt) {  in print_entries()
596 				} else if (phys + K_MEM_VIRT_OFFSET == virt) {  in print_entries()
617 					phys = get_entry_phys(entry, level);  in print_entries()
618 					if (phys == virt) {  in print_entries()
1095 static int range_map_ptables(pentry_t *ptables, void *virt, uintptr_t phys,  in range_map_ptables()  argument
1102 	CHECKIF(!is_addr_aligned(phys) || !is_size_aligned(size)) {  in range_map_ptables()
1125 			entry_val = (pentry_t)(phys + offset) | entry_flags;  in range_map_ptables()
1167 static int range_map(void *virt, uintptr_t phys, size_t size,  in range_map()  argument
1173 		PRI_ENTRY " opt 0x%x", __func__, phys, virt, size,  in range_map()
1206 		ret2 = range_map_ptables(domain->ptables, virt, phys, size,  in range_map()
1216 	ret2 = range_map_ptables(z_x86_kernel_ptables, virt, phys, size,  in range_map()
1234 static inline int range_map_unlocked(void *virt, uintptr_t phys, size_t size,  in range_map_unlocked()  argument
1242 	ret = range_map(virt, phys, size, entry_flags, mask, options);  in range_map_unlocked()
1295 void arch_mem_map(void *virt, uintptr_t phys, size_t size, uint32_t flags)  in arch_mem_map()  argument
1299 	ret = range_map_unlocked(virt, phys, size, flags_to_entry(flags),  in arch_mem_map()
2067 int arch_page_phys_get(void *virt, uintptr_t *phys)  in arch_page_phys_get()  argument
2078 		if (phys != NULL) {  in arch_page_phys_get()
2079 			*phys = (uintptr_t)get_entry_phys(pte, PTE_LEVEL);  in arch_page_phys_get()
2109 void arch_mem_page_in(void *addr, uintptr_t phys)  in arch_mem_page_in()  argument
2114 	ret = range_map(addr, phys, CONFIG_MMU_PAGE_SIZE, MMU_P, mask,  in arch_mem_page_in()
2121 void arch_mem_scratch(uintptr_t phys)  in arch_mem_scratch()  argument
2124 		     phys | MMU_P | MMU_RW | MMU_XD, NULL, MASK_ALL,  in arch_mem_scratch()
2129 uintptr_t arch_page_info_get(void *addr, uintptr_t *phys, bool clear_accessed)  in arch_page_info_get()  argument
2189 	if (phys != NULL) {  in arch_page_info_get()
2190 		*phys = (uintptr_t)get_entry_phys(all_pte, PTE_LEVEL);  in arch_page_info_get()