The UEFI specification defines that the EFI_BOOT_SERVICES.Exit(() service
may return EFI_SUCCESS or EFI_INVALID_PARAMETER. So it cannot be
__attribute__((noreturn)).
Signed-off-by: Heinrich Schuchardt <heinrich.schucha...@canonical.com>
---
include/grub/efi/api.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/include/grub/efi/api.h b/include/grub/efi/api.h
index 46289878d..5980a7f95 100644
--- a/include/grub/efi/api.h
+++ b/include/grub/efi/api.h
@@ -1267,7 +1267,7 @@ struct grub_efi_boot_services
(*exit) (grub_efi_handle_t image_handle,
grub_efi_status_t exit_status,
grub_efi_uintn_t exit_data_size,
- grub_efi_char16_t *exit_data) __attribute__((noreturn));
+ grub_efi_char16_t *exit_data);
grub_efi_status_t
(*unload_image) (grub_efi_handle_t image_handle);
--
2.33.1
_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel
