acpi_table_init
if (acpi_table_init() || acpi_fadt_sanity_check()) {
if (acpi_table_init()) {
int acpi_table_init (void);