![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <arch/ioapic.h>
#include <acpi/acpi.h>
#include <arch/smp/mpspec.h>
#include <device/device.h>
#include <device/pci.h>
Go to the source code of this file.
Functions | |
unsigned long | acpi_fill_madt (unsigned long current) |
Definition at line 9 of file madt.c.
References acpi_create_madt_ioapic(), acpi_create_madt_irqoverride(), acpi_create_madt_lapic(), acpi_create_madt_lapic_nmi(), acpi_create_madt_lapics(), resource::base, find_resource(), INTEL_IOAPIC_NUM_INTERRUPTS, IO_APIC_ADDR, IOAPIC_ICH4, IOAPIC_P64H2_BUS_A, IOAPIC_P64H2_BUS_B, device::link_list, MP_IRQ_POLARITY_DEFAULT, MP_IRQ_POLARITY_HIGH, MP_IRQ_TRIGGER_DEFAULT, MP_IRQ_TRIGGER_EDGE, MP_IRQ_TRIGGER_LEVEL, NULL, PCI_BASE_ADDRESS_0, PCI_DEVFN, pcidev_on_root(), and pcidev_path_behind().