On 12.10.2021 11:05, Luca Fancellu wrote: >> On 12 Oct 2021, at 09:45, Jan Beulich <jbeul...@suse.com> wrote: >> On 11.10.2021 20:15, Luca Fancellu wrote: >>> --- a/xen/common/efi/boot.c >>> +++ b/xen/common/efi/boot.c >>> @@ -166,6 +166,13 @@ static void __init PrintErr(const CHAR16 *s) >>> StdErr->OutputString(StdErr, (CHAR16 *)s ); >>> } >>> >>> +#ifndef CONFIG_HAS_DEVICE_TREE >>> +static inline int __init efi_check_dt_boot(EFI_FILE_HANDLE dir_handle) >> >> Didn't we agree that you would drop "inline" from here? > > Yes we did, really sorry I forgot to drop it, I’ll push another serie, given > the inline > Dropped are you ok with the patch?
Well, yes - I had given my ack for it already. Jan
