acpi_gbl_xfacs_index   29 drivers/acpi/acpica/acglobal.h ACPI_INIT_GLOBAL(u32, acpi_gbl_xfacs_index, ACPI_INVALID_TABLE_INDEX);
acpi_gbl_xfacs_index  333 drivers/acpi/acpica/tbfadt.c 						       &acpi_gbl_xfacs_index);
acpi_gbl_xfacs_index   47 drivers/acpi/acpica/tbutils.c 		(void)acpi_get_table_by_index(acpi_gbl_xfacs_index,