diff options
| -rw-r--r-- | common/efi/payload/init.c | 6 | ||||
| -rw-r--r-- | include/efi.h | 2 |
2 files changed, 3 insertions, 5 deletions
diff --git a/common/efi/payload/init.c b/common/efi/payload/init.c index e1f968117a..d8a43e8885 100644 --- a/common/efi/payload/init.c +++ b/common/efi/payload/init.c @@ -221,12 +221,10 @@ static int efi_init(void) } device_initcall(efi_init); -asmlinkage efi_status_t efi_main(efi_handle_t, efi_system_table_t *); - /** * efi-main - Entry point for EFI images */ -efi_status_t efi_main(efi_handle_t image, efi_system_table_t *sys_table) +void efi_main(efi_handle_t image, efi_system_table_t *sys_table) { efi_physical_addr_t mem; size_t memsize; @@ -266,8 +264,6 @@ efi_status_t efi_main(efi_handle_t image, efi_system_table_t *sys_table) mem_malloc_init((void *)mem, (void *)mem + memsize - 1); start_barebox(); - - return EFI_SUCCESS; } static int efi_core_init(void) diff --git a/include/efi.h b/include/efi.h index 36452d296d..51382f5bfe 100644 --- a/include/efi.h +++ b/include/efi.h @@ -591,6 +591,8 @@ efi_guidcmp (efi_guid_t left, efi_guid_t right) return memcmp(&left, &right, sizeof (efi_guid_t)); } +__attribute__((noreturn)) void efi_main(efi_handle_t, efi_system_table_t *); + /* * Variable Attributes */ |