Searched refs:image_high_addr (Results 1 – 1 of 1) sorted by relevance
935 uint64_t image_low_addr = 0, image_high_addr = 0; in arm_setup_direct_kernel_boot() local954 &image_high_addr, elf_machine, as); in arm_setup_direct_kernel_boot()961 || image_high_addr < info->loader_start) { in arm_setup_direct_kernel_boot()980 image_high_addr = image_low_addr + kernel_size; in arm_setup_direct_kernel_boot()989 image_high_addr = image_low_addr + kernel_size; in arm_setup_direct_kernel_boot()999 image_high_addr = image_low_addr + kernel_size; in arm_setup_direct_kernel_boot()1033 if (image_high_addr) { in arm_setup_direct_kernel_boot()1034 info->initrd_start = MAX(info->initrd_start, image_high_addr); in arm_setup_direct_kernel_boot()