[PATCH v3 1/4] acpi: use 64-bit addresses in FADT table

[Simon Glass]

On Sat, 16 Dec 2023 at 01:12, Heinrich Schuchardt
<heinrich.schuchardt at canonical.com> wrote:
>
> Fields X_FIRMWAE_CTRL and X_DSDT must be 64bit wide. Convert pointers to
> to uintptr_t to fill these.
>
> If field X_FIRMWARE_CTRL is filled, field FIRMWARE must be ignored. If
> field X_DSDT is filled, field DSDT must be ignored. We should not fill
> unused fields.
>
> See the field definitions in chapter "5.2.9 Fixed ACPI Description Table
> (FADT)" of the ACPI Specification 6.5.
>
> Signed-off-by: Heinrich Schuchardt <heinrich.schuchardt at canonical.com>
> ---
>  arch/x86/cpu/baytrail/acpi.c | 9 +++------
>  arch/x86/cpu/quark/acpi.c    | 9 +++------
>  arch/x86/cpu/tangier/acpi.c  | 9 +++------
>  arch/x86/lib/acpi_table.c    | 9 ++-------
>  include/acpi/acpi_table.h    | 6 ++----
>  5 files changed, 13 insertions(+), 29 deletions(-)

Reviewed-by: Simon Glass <sjg at chromium.org>

Applied to u-boot-dm/next, thanks!