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);
 
        /* INT_SRC_OVR */
        current += acpi_create_madt_irqoverride((acpi_madt_irqoverride_t *)
                 current, 0, 0, 2, 0);
        current += acpi_create_madt_irqoverride((acpi_madt_irqoverride_t *)
                 current, 0, 9, 9, MP_IRQ_TRIGGER_LEVEL | MP_IRQ_POLARITY_HIGH);
 
        return current;
}