+}
+
+static int
+acpi_init(struct device_def* devdef)
+{
+ acpi_rsdp_t* rsdp = acpi_locate_rsdp();
+
+ assert_msg(rsdp, "Fail to locate ACPI_RSDP");
+ assert_msg(acpi_rsdp_validate(rsdp), "Invalid ACPI_RSDP (checksum failed)");
+
+ acpi_rsdt_t* rsdt = rsdp->rsdt;
+
+ ctx = vzalloc(sizeof(acpi_context));
+ assert_msg(ctx, "Fail to create ACPI context");
+
+ strncpy(ctx->oem_id, rsdt->header.oem_id, 6);
+ ctx->oem_id[6] = '\0';
+
+ size_t entry_n = (rsdt->header.length - sizeof(acpi_sdthdr_t)) >> 2;
+ for (size_t i = 0; i < entry_n; i++) {
+ acpi_sdthdr_t* sdthdr = __acpi_sdthdr(rsdt->entry[i]);
+ switch (sdthdr->signature) {
+ case ACPI_MADT_SIG:
+ madt_parse(__acpi_madt(sdthdr), ctx);
+ break;
+ case ACPI_FADT_SIG:
+ // FADT just a plain structure, no need to parse.
+ ctx->fadt = *__acpi_fadt(sdthdr);
+ break;
+ case ACPI_MCFG_SIG:
+ mcfg_parse(sdthdr, ctx);
+ break;
+ default:
+ break;
+ }
+ }
+
+ return 0;
+}
+
+struct device_def acpi_sysdev = { .name = "ACPI Proxy",
+ .class =
+ DEVCLASS(DEVIF_FMW, DEVFN_CFG, DEV_ACPI),
+ .init = acpi_init };
+EXPORT_DEVICE(acpi, &acpi_sysdev, load_sysconf);
\ No newline at end of file