acpi_gbl_facs_index 28 drivers/acpi/acpica/acglobal.h ACPI_INIT_GLOBAL(u32, acpi_gbl_facs_index, ACPI_INVALID_TABLE_INDEX); acpi_gbl_facs_index 326 drivers/acpi/acpica/tbfadt.c &acpi_gbl_facs_index); acpi_gbl_facs_index 53 drivers/acpi/acpica/tbutils.c (void)acpi_get_table_by_index(acpi_gbl_facs_index,