| // SPDX-License-Identifier: GPL-2.0+ |
| * EFI application ACPI tables support |
| * Copyright (C) 2018, Bin Meng <bmeng.cn@gmail.com> |
| #include <acpi/acpi_table.h> |
| static const efi_guid_t acpi_guid = EFI_ACPI_TABLE_GUID; |
| * Install the ACPI table as a configuration table. |
| efi_status_t efi_acpi_register(void) |
| /* Map within the low 32 bits, to allow for 32bit ACPI tables */ |
| /* Reserve 64kiB page for ACPI */ |
| ret = efi_allocate_pages(EFI_ALLOCATE_MAX_ADDRESS, |
| EFI_ACPI_RECLAIM_MEMORY, 16, &acpi); |
| * Generate ACPI tables - we know that efi_allocate_pages() returns |
| * a 4k-aligned address, so it is safe to assume that |
| * write_acpi_tables() will write the table at that address. |
| /* And expose them to our EFI payload */ |
| return efi_install_configuration_table(&acpi_guid, |
| (void *)(uintptr_t)acpi); |