ACPI_INVALID_TABLE_INDEX   27 drivers/acpi/acpica/acglobal.h ACPI_INIT_GLOBAL(u32, acpi_gbl_dsdt_index, ACPI_INVALID_TABLE_INDEX);
ACPI_INVALID_TABLE_INDEX   28 drivers/acpi/acpica/acglobal.h ACPI_INIT_GLOBAL(u32, acpi_gbl_facs_index, ACPI_INVALID_TABLE_INDEX);
ACPI_INVALID_TABLE_INDEX   29 drivers/acpi/acpica/acglobal.h ACPI_INIT_GLOBAL(u32, acpi_gbl_xfacs_index, ACPI_INVALID_TABLE_INDEX);
ACPI_INVALID_TABLE_INDEX   30 drivers/acpi/acpica/acglobal.h ACPI_INIT_GLOBAL(u32, acpi_gbl_fadt_index, ACPI_INVALID_TABLE_INDEX);
ACPI_INVALID_TABLE_INDEX   40 drivers/acpi/acpica/evxfevnt.c 	if (acpi_gbl_fadt_index == ACPI_INVALID_TABLE_INDEX) {