Re: [PATCH v14 2/5] x86/boot: Introduce efi_get_rsdp_addr() to find RSDP from EFI table

[Ingo Molnar]

* Thomas Gleixner <t...@linutronix.de> wrote:

> On Mon, 17 Dec 2018, Ingo Molnar wrote:
> > * Chao Fan <fanc.f...@cn.fujitsu.com> wrote:
> > > +         else if (!(efi_guidcmp(guid, ACPI_20_TABLE_GUID)))
> > > +                 return (acpi_physical_address)table;
> > 
> > 'return' is not a function.
> 
> It's still a typecast :)

Yeah, see my followup from an hour ago:

  Message-ID: <20181217173605.ga14...@gmail.com>

Thanks,

        Ingo