Home
last modified time | relevance | path

Searched refs:ACPI_FADT_32BIT_TIMER (Results 1 – 3 of 3) sorted by relevance

/Linux-v4.19/drivers/acpi/acpica/
Dhwtimer.c38 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()
Dutxface.c131 if (acpi_gbl_FADT.flags & ACPI_FADT_32BIT_TIMER) { in ACPI_EXPORT_SYMBOL()
/Linux-v4.19/include/acpi/
Dactbl.h283 #define ACPI_FADT_32BIT_TIMER (1<<8) /* 08: [V1] ACPI timer width is 32-bit (0=24-bit) */ macro