diff options
author | Ahmad Fatoum <a.fatoum@pengutronix.de> | 2021-11-22 09:47:24 +0100 |
---|---|---|
committer | Sascha Hauer <s.hauer@pengutronix.de> | 2021-12-13 23:19:38 +0100 |
commit | 774d4f87c31e2c8f7ac141660b21bd5ede93a117 (patch) | |
tree | 0b864e0730495a150f449d08178f4290e1c0d624 /include/efi.h | |
parent | 5ed75dd721a3312c286b01814514cb225fb464dc (diff) | |
download | barebox-774d4f87c31e2c8f7ac141660b21bd5ede93a117.tar.gz |
efi: make efi_main __noreturn
The function never returns, so mark it as such.
Signed-off-by: Ahmad Fatoum <a.fatoum@pengutronix.de>
Link: https://lore.barebox.org/20211122084732.2597109-23-a.fatoum@pengutronix.de
Signed-off-by: Sascha Hauer <s.hauer@pengutronix.de>
Diffstat (limited to 'include/efi.h')
-rw-r--r-- | include/efi.h | 2 |
1 files changed, 2 insertions, 0 deletions
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 */ |