blob: 338527091d8c44306def8de20fa493a78e3db336 [file] [log] [blame]
Angel Pons182dbde2020-04-02 23:49:05 +02001/* SPDX-License-Identifier: GPL-2.0-only */
2/* This file is part of the coreboot project. */
Vladimir Serbinenko33b535f2014-10-19 10:13:14 +02003
Vladimir Serbinenko33b535f2014-10-19 10:13:14 +02004#include <arch/acpi.h>
5#include <arch/ioapic.h>
Vladimir Serbinenko33b535f2014-10-19 10:13:14 +02006#include <arch/smp/mpspec.h>
7
8unsigned long acpi_fill_madt(unsigned long current)
9{
10 /* Local APICs */
11 current = acpi_create_madt_lapics(current);
12
13 /* IOAPIC */
14 current += acpi_create_madt_ioapic((acpi_madt_ioapic_t *) current,
15 2, IO_APIC_ADDR, 0);
16
17 /* INT_SRC_OVR */
18 current += acpi_create_madt_irqoverride((acpi_madt_irqoverride_t *)
19 current, 0, 0, 2, 0);
20 current += acpi_create_madt_irqoverride((acpi_madt_irqoverride_t *)
21 current, 0, 9, 9, MP_IRQ_TRIGGER_LEVEL | MP_IRQ_POLARITY_HIGH);
22
23 return current;
24}