ACPI_FADT_32BIT_TIMER   38 drivers/acpi/acpica/hwtimer.c 	if ((acpi_gbl_FADT.flags & ACPI_FADT_32BIT_TIMER) == 0) {
ACPI_FADT_32BIT_TIMER  148 drivers/acpi/acpica/hwtimer.c 		if ((acpi_gbl_FADT.flags & ACPI_FADT_32BIT_TIMER) == 0) {
ACPI_FADT_32BIT_TIMER  131 drivers/acpi/acpica/utxface.c 	if (acpi_gbl_FADT.flags & ACPI_FADT_32BIT_TIMER) {