Messages in this thread | | | Date | Mon, 14 Jan 2019 09:26:42 +0800 | From | Chao Fan <> | Subject | Re: [PATCH v15 3/6] x86/boot: Introduce efi_get_rsdp_addr() to find RSDP from EFI table |
| |
On Sun, Jan 13, 2019 at 12:05:45PM +0100, Borislav Petkov wrote: >On Sun, Jan 13, 2019 at 05:47:04PM +0800, Chao Fan wrote: >> 'acpi_physical_address' could be define as u64 or u32. > >And when can acpi_physical_address be a u32? >
According to the code, I saw: #ifdef ACPI_ASL_COMPILER #define ACPI_32BIT_PHYSICAL_ADDRESS #endif
and then #ifdef ACPI_32BIT_PHYSICAL_ADDRESS typedef u32 acpi_physical_address;
As for ACPI_ASL_COMPILER, I saw iASL in documention, but can't find more information in the code. If I miss something, please let me know.
Thanks, Chao Fan
>-- >Regards/Gruss, > Boris. > >Good mailing practices for 400: avoid top-posting and trim the reply. > >
| |