acpi_table_madt
acpi_enumerate_ioapics(acpi_table_madt* madt)
= (acpi_subtable_header*)((uint8*)madt + sizeof(acpi_table_madt));
acpi_configure_source_overrides(acpi_table_madt* madt)
= (acpi_subtable_header*)((uint8*)madt + sizeof(acpi_table_madt));
acpi_table_madt* madt = NULL;