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