Searched refs:kernel_base (Results 1 – 1 of 1) sorted by relevance
88 unsigned long alloc_base, kernel_base; in handle_kernel_image() local108 kernel_base = round_up(alloc_base, EFI_PHYS_ALIGN); in handle_kernel_image()110 alloc_base, kernel_base); in handle_kernel_image()112 kernel_base = round_down(alloc_base, EFI_PHYS_ALIGN); in handle_kernel_image()115 *reserve_addr = kernel_base + slack; in handle_kernel_image()127 *image_addr = kernel_base + TEXT_OFFSET; in handle_kernel_image()