552 				 unsigned long minimum,  in __process_mem_region()  argument
558 	/* Enforce minimum and memory limit. */  in __process_mem_region()
559 	region.start = max_t(u64, entry->start, minimum);  in __process_mem_region()
596 			       unsigned long minimum,  in process_mem_region()  argument
605 		__process_mem_region(region, minimum, image_size);  in process_mem_region()
634 		__process_mem_region(&entry, minimum, image_size);  in process_mem_region()
678 process_efi_entries(unsigned long minimum, unsigned long image_size)  in process_efi_entries()  argument
730 		if (process_mem_region(&region, minimum, image_size))  in process_efi_entries()
737 process_efi_entries(unsigned long minimum, unsigned long image_size)  in process_efi_entries()  argument
743 static void process_e820_entries(unsigned long minimum,  in process_e820_entries()  argument
758 		if (process_mem_region(&region, minimum, image_size))  in process_e820_entries()
767 static bool process_kho_entries(unsigned long minimum, unsigned long image_size)  in process_kho_entries()  argument
799 		if (process_mem_region(&region, minimum, image_size))  in process_kho_entries()
806 static unsigned long find_random_phys_addr(unsigned long minimum,  in find_random_phys_addr()  argument
812 	if (minimum + image_size > mem_limit)  in find_random_phys_addr()
825 	if (!process_kho_entries(minimum, image_size) &&  in find_random_phys_addr()
826 	    !process_efi_entries(minimum, image_size))  in find_random_phys_addr()
827 		process_e820_entries(minimum, image_size);  in find_random_phys_addr()
832 	if (phys_addr < minimum || phys_addr + image_size > mem_limit) {  in find_random_phys_addr()
840 static unsigned long find_random_virt_addr(unsigned long minimum,  in find_random_virt_addr()  argument
847 	 * that can hold image_size within the range of minimum to  in find_random_virt_addr()
850 	slots = 1 + (KERNEL_IMAGE_SIZE - minimum - image_size) / CONFIG_PHYSICAL_ALIGN;  in find_random_virt_addr()
854 	return random_addr * CONFIG_PHYSICAL_ALIGN + minimum;  in find_random_virt_addr()
890 	/* Make sure minimum is aligned. */  in choose_random_location()