summaryrefslogtreecommitdiffstats
path: root/include
diff options
context:
space:
mode:
authorAhmad Fatoum <a.fatoum@pengutronix.de>2021-11-22 09:47:24 +0100
committerSascha Hauer <s.hauer@pengutronix.de>2021-12-13 23:19:38 +0100
commit774d4f87c31e2c8f7ac141660b21bd5ede93a117 (patch)
tree0b864e0730495a150f449d08178f4290e1c0d624 /include
parent5ed75dd721a3312c286b01814514cb225fb464dc (diff)
downloadbarebox-774d4f87c31e2c8f7ac141660b21bd5ede93a117.tar.gz
barebox-774d4f87c31e2c8f7ac141660b21bd5ede93a117.tar.xz
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')
-rw-r--r--include/efi.h2
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
*/