Welcome to the FoxOS website!
void* acpi::find_table_xsdt(sdt_header_t* sdt_header, char* signature, int idx)
sdt_header_t* sdt_header
char* signature
int idx
void*
void* acpi::find_table_rsdt(sdt_header_t* sdt_header, char* signature, int idx)
sdt_header_t* sdt_header
char* signature
int idx
void*
void* acpi::find_table(char* signature, int idx)
char* signature
int idx
void*
void acpi::early_setup()
void
void acpi::init()
void
void acpi::dsdt_init()
void
void acpi::shutdown()
void
void acpi::reboot()
void