diff options
Diffstat (limited to 'src/arch/arm64/tables.c')
| -rw-r--r-- | src/arch/arm64/tables.c | 19 |
1 files changed, 17 insertions, 2 deletions
diff --git a/src/arch/arm64/tables.c b/src/arch/arm64/tables.c index b97297c1b9a6..c66612b7f2c1 100644 --- a/src/arch/arm64/tables.c +++ b/src/arch/arm64/tables.c @@ -1,12 +1,27 @@ /* SPDX-License-Identifier: GPL-2.0-only */ -#include <bootmem.h> -#include <boot/tables.h> +#include <acpi/acpi.h> +#include <assert.h> #include <boot/coreboot_tables.h> +#include <boot/tables.h> +#include <bootmem.h> +#include <cbmem.h> #include <symbols.h> +static void write_acpi_table(void) +{ + const size_t max_acpi_size = CONFIG_MAX_ACPI_TABLE_SIZE_KB * KiB; + const uintptr_t acpi_start = (uintptr_t)cbmem_add(CBMEM_ID_ACPI, max_acpi_size); + assert(IS_ALIGNED(acpi_start, 16)); + const uintptr_t acpi_end = write_acpi_tables(acpi_start); + assert(acpi_end < acpi_start + max_acpi_size); + printk(BIOS_DEBUG, "ACPI tables: %ld bytes.\n", acpi_end - acpi_start); +} + void arch_write_tables(uintptr_t coreboot_table) { + if (CONFIG(HAVE_ACPI_TABLES)) + write_acpi_table(); } void bootmem_arch_add_ranges(void) |