+ kprintf(KINFO "MADT: %p\n", sdthdr);
+ madt_parse((acpi_madt_t*)sdthdr, ctx);
+ break;
+ case ACPI_FADT_SIG:
+ // FADT just a plain structure, no need to parse.
+ kprintf(KINFO "FADT: %p\n", sdthdr);
+ ctx->fadt = *(acpi_fadt_t*)sdthdr;
+ break;
+ case ACPI_MCFG_SIG:
+ kprintf(KINFO "MCFG: %p\n", sdthdr);
+ mcfg_parse(sdthdr, ctx);