Re: [PATCH v6 1/2] arm/efi: Use dom0less configuration when using EFI boot

[Luca Fancellu]

> 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?

> Jan
>