Searched refs:ACPI_FADT_32BIT_TIMER (Results 1 – 3 of 3) sorted by relevance
72 if ((acpi_gbl_FADT.flags & ACPI_FADT_32BIT_TIMER) == 0) { in acpi_get_timer_resolution()170 if ((acpi_gbl_FADT.flags & ACPI_FADT_32BIT_TIMER) == 0) { in ACPI_EXPORT_SYMBOL()
190 if (acpi_gbl_FADT.flags & ACPI_FADT_32BIT_TIMER) { in ACPI_EXPORT_SYMBOL()
315 #define ACPI_FADT_32BIT_TIMER (1<<8) /* 08: [V1] ACPI timer width is 32-bit (0=24-bit) */ macro