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