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,