/* SPDX-License-Identifier: GPL-2.0-only */ | |
/* This file is part of the coreboot project. */ | |
#include <arch/acpi.h> | |
#include <arch/ioapic.h> | |
#include <soc/acpi.h> | |
#include <soc/nvs.h> | |
void acpi_create_gnvs(global_nvs_t *gnvs) | |
{ | |
acpi_init_gnvs(gnvs); | |
} | |
unsigned long acpi_fill_madt(unsigned long current) | |
{ | |
/* Local APICs */ | |
current = acpi_create_madt_lapics(current); | |
/* IOAPIC */ | |
current += acpi_create_madt_ioapic((acpi_madt_ioapic_t *) current, | |
2, IO_APIC_ADDR, 0); | |
return acpi_madt_irq_overrides(current); | |
} |