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,