Welcome to the FoxOS website!
void register_sdt(acpi::sdt_header_t* header)
acpi::sdt_header_t* header
void
void enumerate_rsdt(acpi::sdt_header_t* sdt_header)
acpi::sdt_header_t* sdt_header
void
void enumerate_xsdt(acpi::sdt_header_t* sdt_header)
acpi::sdt_header_t* sdt_header
void
void init()
void