290 	uintptr_t dest_addr;  in virt_region_alloc()  local
314 	dest_addr = virt_from_bitmap_offset(offset, alloc_size);  in virt_region_alloc()
317 		uintptr_t aligned_dest_addr = ROUND_UP(dest_addr, align);  in virt_region_alloc()
351 		virt_region_free(UINT_TO_POINTER(dest_addr),  in virt_region_alloc()
352 				 aligned_dest_addr - dest_addr);  in virt_region_alloc()
353 		if (((dest_addr + alloc_size) - (aligned_dest_addr + size)) > 0) {  in virt_region_alloc()
355 					 (dest_addr + alloc_size) - (aligned_dest_addr + size));  in virt_region_alloc()
358 		dest_addr = aligned_dest_addr;  in virt_region_alloc()
362 	if (dest_addr < POINTER_TO_UINT(Z_VIRT_REGION_START_ADDR)) {  in virt_region_alloc()
367 	return UINT_TO_POINTER(dest_addr);  in virt_region_alloc()
896 	uint8_t *dest_addr;  in k_mem_map_phys_bare()  local
917 		dest_addr = (uint8_t *)aligned_phys;  in k_mem_map_phys_bare()
932 			uint8_t *adjusted_start = MAX(dest_addr, K_MEM_VIRT_RAM_START);  in k_mem_map_phys_bare()
933 			uint8_t *adjusted_end = MIN(dest_addr + aligned_size,  in k_mem_map_phys_bare()
946 		dest_addr = virt_region_alloc(aligned_size, align_boundary);  in k_mem_map_phys_bare()
947 		if (!dest_addr) {  in k_mem_map_phys_bare()
953 	__ASSERT((uintptr_t)dest_addr <  in k_mem_map_phys_bare()
954 		 ((uintptr_t)dest_addr + (size - 1)),  in k_mem_map_phys_bare()
956 		 dest_addr, size);  in k_mem_map_phys_bare()
958 	LOG_DBG("arch_mem_map(%p, 0x%lx, %zu, %x) offset %lu", dest_addr,  in k_mem_map_phys_bare()
961 	arch_mem_map(dest_addr, aligned_phys, aligned_size, flags);  in k_mem_map_phys_bare()
964 	*virt_ptr = dest_addr + addr_offset;  in k_mem_map_phys_bare()