madt.c

Go to the documentation of this file.

/* SPDX-License-Identifier: GPL-2.0-only */
 
#include <acpi/acpi.h>
#include <arch/ioapic.h>
#include <arch/smp/mpspec.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,
                                2, IO_APIC_ADDR, 0);
 
        /* 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);
 
        /* INT_SRC_OVR */
        current += acpi_create_madt_irqoverride((acpi_madt_irqoverride_t *)
                 current, 0, 0, 2, MP_IRQ_POLARITY_HIGH | MP_IRQ_TRIGGER_EDGE);
        current += acpi_create_madt_irqoverride((acpi_madt_irqoverride_t *)
                 current, 0, 9, 9, MP_IRQ_POLARITY_HIGH | MP_IRQ_TRIGGER_LEVEL);
 
        return current;
}