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

[Thomas Gleixner]

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 :)