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>

diff --git a/include/grub/efi/api.h b/include/grub/efi/api.h
index f1a52210c0c4ff8f587790b00ea8cc248557492e..6c8d06e15736c21af8343a4dc670cd35e31d015a 100644 (file)
--- 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);