On Sat, Jan 22, 2022 at 11:27:54AM +0100, Heinrich Schuchardt wrote: > 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 <[email protected]>
Reviewed-by: Daniel Kiper <[email protected]>... Daniel _______________________________________________ Grub-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/grub-devel
