HomeSort by: relevance | last modified time | path
    Searched refs:ACPI_FADT_32BIT_TIMER (Results 1 - 4 of 4) sorted by relevancy

  /src/sys/external/bsd/acpica/dist/hardware/
hwtimer.c 186 if ((AcpiGbl_FADT.Flags & ACPI_FADT_32BIT_TIMER) == 0)
318 if ((AcpiGbl_FADT.Flags & ACPI_FADT_32BIT_TIMER) == 0)
  /src/sys/external/bsd/acpica/dist/include/
actbl.h 452 #define ACPI_FADT_32BIT_TIMER (1<<8) /* 08: [V1] ACPI timer width is 32-bit (0=24-bit) */
  /src/sys/external/bsd/acpica/dist/utilities/
utxface.c 291 if (AcpiGbl_FADT.Flags & ACPI_FADT_32BIT_TIMER)
  /src/sys/dev/acpi/
acpi_verbose.c 413 { 8, "TMR_VAL_EXT", ACPI_FADT_32BIT_TIMER },

Completed in 16 milliseconds