![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <acpi.h>
Data Fields | |
u8 | id |
u32 | addr |
u32 | gsi_base |
u32 madt_ioapic_info::addr |
Definition at line 98 of file acpi.h.
Referenced by soc_get_ioapic_info().
u32 madt_ioapic_info::gsi_base |
Definition at line 99 of file acpi.h.
Referenced by acpi_fill_madt(), and soc_get_ioapic_info().
u8 madt_ioapic_info::id |
Definition at line 97 of file acpi.h.
Referenced by soc_get_ioapic_info().