acpi_gbl_fadt_index   30 drivers/acpi/acpica/acglobal.h ACPI_INIT_GLOBAL(u32, acpi_gbl_fadt_index, ACPI_INVALID_TABLE_INDEX);
acpi_gbl_fadt_index   40 drivers/acpi/acpica/evxfevnt.c 	if (acpi_gbl_fadt_index == ACPI_INVALID_TABLE_INDEX) {
acpi_gbl_fadt_index  290 drivers/acpi/acpica/tbfadt.c 	fadt_desc = &acpi_gbl_root_table_list.tables[acpi_gbl_fadt_index];
acpi_gbl_fadt_index  338 drivers/acpi/acpica/tbutils.c 			acpi_gbl_fadt_index = table_index;