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