Searched refs:kernel_end (Results 1 – 1 of 1) sorted by relevance
52 uint64_t kernel_end; in get_initrd_load_addr() local65 kernel_end = roundup(kernel_start, kernel_align) + kernel_init_size; in get_initrd_load_addr()94 if ((ramdisk_load_gpa == INVALID_GPA) && (kernel_end < min(mods_start, ramdisk_gpa_max))) { in get_initrd_load_addr()96 kernel_end, min(mods_start, ramdisk_gpa_max)); in get_initrd_load_addr()104 if (kernel_end < ramdisk_gpa_max) { in get_initrd_load_addr()106 kernel_end, ramdisk_gpa_max); in get_initrd_load_addr()
Completed in 5 milliseconds