Searched refs:image_high_addr (Results 1 – 1 of 1) sorted by relevance
941 uint64_t image_low_addr = 0, image_high_addr = 0; in arm_setup_direct_kernel_boot() local960 &image_high_addr, elf_machine, as); in arm_setup_direct_kernel_boot()967 || image_high_addr < info->loader_start) { in arm_setup_direct_kernel_boot()986 image_high_addr = image_low_addr + kernel_size; in arm_setup_direct_kernel_boot()995 image_high_addr = image_low_addr + kernel_size; in arm_setup_direct_kernel_boot()1005 image_high_addr = image_low_addr + kernel_size; in arm_setup_direct_kernel_boot()1039 if (image_high_addr) { in arm_setup_direct_kernel_boot()1040 info->initrd_start = MAX(info->initrd_start, image_high_addr); in arm_setup_direct_kernel_boot()