[lkml]   [2019]   [Jan]   [13]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
SubjectRe: [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:

and then
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.

Chao Fan

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

 \ /
  Last update: 2019-01-14 02:28    [W:0.071 / U:0.784 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site