|
@@ -13,13 +13,13 @@
|
|
|
#include <asm/efi.h>
|
|
|
#include <asm/sections.h>
|
|
|
|
|
|
-efi_status_t __init handle_kernel_image(efi_system_table_t *sys_table_arg,
|
|
|
- unsigned long *image_addr,
|
|
|
- unsigned long *image_size,
|
|
|
- unsigned long *reserve_addr,
|
|
|
- unsigned long *reserve_size,
|
|
|
- unsigned long dram_base,
|
|
|
- efi_loaded_image_t *image)
|
|
|
+efi_status_t handle_kernel_image(efi_system_table_t *sys_table_arg,
|
|
|
+ unsigned long *image_addr,
|
|
|
+ unsigned long *image_size,
|
|
|
+ unsigned long *reserve_addr,
|
|
|
+ unsigned long *reserve_size,
|
|
|
+ unsigned long dram_base,
|
|
|
+ efi_loaded_image_t *image)
|
|
|
{
|
|
|
efi_status_t status;
|
|
|
unsigned long kernel_size, kernel_memsize = 0;
|