ACPI_FADT_32BIT_TIMER
if ((acpi_gbl_FADT.flags & ACPI_FADT_32BIT_TIMER) == 0) {
if (acpi_gbl_FADT.flags & ACPI_FADT_32BIT_TIMER) {