diff options
author | Heinrich Schuchardt <heinrich.schuchardt@canonical.com> | 2022-01-22 11:27:54 +0100 |
---|---|---|
committer | Daniel Kiper <daniel.kiper@oracle.com> | 2022-02-08 16:06:49 +0100 |
commit | eb29f2ac9a401146bb09bf682c6f2d2093de869f (patch) | |
tree | 5bc93661a246184cdd1095e72c1b1c7df66dc17d | |
parent | 15f2f328e9d74ce48f7ec9dd192a622972b6919a (diff) | |
download | grub-eb29f2ac9a401146bb09bf682c6f2d2093de869f.tar.gz |
efi: Correct struct grub_efi_boot_services
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.schuchardt@canonical.com>
Reviewed-by: Daniel Kiper <daniel.kiper@oracle.com>
-rw-r--r-- | include/grub/efi/api.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/grub/efi/api.h b/include/grub/efi/api.h index f1a52210c..6c8d06e15 100644 --- a/include/grub/efi/api.h +++ b/include/grub/efi/api.h @@ -1196,7 +1196,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); |