Re: [PATCH v15 3/6] x86/boot: Introduce efi_get_rsdp_addr() to find RSDP from EFI table

[Borislav Petkov]

On Tue, Jan 15, 2019 at 03:21:21PM +0800, Chao Fan wrote:
> In my understanding after looking into the commit message the comments.
> I thinks yes. For 32-bit OS:

And when does your "32-bit OS" define ACPI_ASL_COMPILER ?

-- 
Regards/Gruss,
    Boris.

Good mailing practices for 400: avoid top-posting and trim the reply.