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 <heinrich.schucha...@canonical.com>
Reviewed-by: Daniel Kiper <daniel.ki...@oracle.com>... Daniel _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
