madt.c

Go to the documentation of this file.

/* SPDX-License-Identifier: GPL-2.0-only */
 
#include <arch/ioapic.h>
#include <acpi/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;
}