- kprintf(KINFO "OEM: %s\n", toc->oem_id);
- kprintf(KINFO "IOAPIC address: %p\n", toc->madt.ioapic->ioapic_addr);
- kprintf(KINFO "APIC address: %p\n", toc->madt.apic_addr);
-
- for (size_t i = 0; i < 24; i++) {
- acpi_intso_t* intso = toc->madt.irq_exception[i];
- if (!intso)
- continue;
-
- kprintf(KINFO "IRQ #%u -> GSI #%u\n", intso->source, intso->gsi);
- }