182dbdeac4
Done with sed and God Lines. Only done for C-like code for now. Change-Id: I5b00b3e38edda90f35f0679cd4171a3499288f24 Signed-off-by: Angel Pons <th3fanbus@gmail.com> Reviewed-on: https://review.coreboot.org/c/coreboot/+/40059 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: HAOUAS Elyes <ehaouas@noos.fr>
44 lines
1.4 KiB
C
44 lines
1.4 KiB
C
/* SPDX-License-Identifier: GPL-2.0-only */
|
|
/* This file is part of the coreboot project. */
|
|
|
|
#include <arch/ioapic.h>
|
|
#include <arch/acpi.h>
|
|
#include <arch/smp/mpspec.h>
|
|
#include <device/device.h>
|
|
#include <device/pci.h>
|
|
|
|
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,
|
|
1, IO_APIC_ADDR, 0);
|
|
|
|
/* INT_SRC_OVR */
|
|
current += acpi_create_madt_irqoverride((acpi_madt_irqoverride_t *)
|
|
current, 0, 0, 2,
|
|
MP_IRQ_POLARITY_DEFAULT |
|
|
MP_IRQ_TRIGGER_DEFAULT);
|
|
current += acpi_create_madt_irqoverride((acpi_madt_irqoverride_t *)
|
|
current, 0, 9, 9,
|
|
MP_IRQ_POLARITY_HIGH |
|
|
MP_IRQ_TRIGGER_LEVEL);
|
|
|
|
/* LAPIC_NMI */
|
|
current += acpi_create_madt_lapic_nmi((acpi_madt_lapic_nmi_t *)
|
|
current, 0,
|
|
MP_IRQ_POLARITY_HIGH |
|
|
MP_IRQ_TRIGGER_EDGE, 0x01);
|
|
current += acpi_create_madt_lapic_nmi((acpi_madt_lapic_nmi_t *)
|
|
current, 1, MP_IRQ_POLARITY_HIGH |
|
|
MP_IRQ_TRIGGER_EDGE, 0x01);
|
|
current += acpi_create_madt_lapic_nmi((acpi_madt_lapic_nmi_t *)
|
|
current, 2, MP_IRQ_POLARITY_HIGH |
|
|
MP_IRQ_TRIGGER_EDGE, 0x01);
|
|
current += acpi_create_madt_lapic_nmi((acpi_madt_lapic_nmi_t *)
|
|
current, 3, MP_IRQ_POLARITY_HIGH |
|
|
MP_IRQ_TRIGGER_EDGE, 0x01);
|
|
return current;
|
|
}
|