u32_t ioapic_addr;
// The global system interrupt offset for this IOAPIC. (Kind of IRQ offset
// for a slave IOAPIC)
u32_t gis_offset;
} ACPI_TABLE_PACKED acpi_ioapic_t;
u32_t ioapic_addr;
// The global system interrupt offset for this IOAPIC. (Kind of IRQ offset
// for a slave IOAPIC)
u32_t gis_offset;
} ACPI_TABLE_PACKED acpi_ioapic_t;