Searched refs:ACPI_FADT_32BIT_TIMER (Results 1 - 5 of 5) sorted by relevance

/freebsd-9.3-release/sys/contrib/dev/acpica/hardware/
H A Dhwtimer.c76 if ((AcpiGbl_FADT.Flags & ACPI_FADT_32BIT_TIMER) == 0)
184 if ((AcpiGbl_FADT.Flags & ACPI_FADT_32BIT_TIMER) == 0)
/freebsd-9.3-release/sys/contrib/dev/acpica/include/
H A Dactbl.h323 #define ACPI_FADT_32BIT_TIMER (1<<8) /* 08: [V1] ACPI timer width is 32-bit (0=24-bit) */ macro
/freebsd-9.3-release/sys/dev/acpica/
H A Dacpi_timer.c187 if (AcpiGbl_FADT.Flags & ACPI_FADT_32BIT_TIMER)
219 (AcpiGbl_FADT.Flags & ACPI_FADT_32BIT_TIMER) != 0 ? 32 : 24,
H A Dacpivar.h281 if (end < start && (AcpiGbl_FADT.Flags & ACPI_FADT_32BIT_TIMER) == 0)
/freebsd-9.3-release/sys/contrib/dev/acpica/utilities/
H A Dutxface.c514 if (AcpiGbl_FADT.Flags & ACPI_FADT_32BIT_TIMER)

Completed in 167 milliseconds