Symbol: ACPI_FADT_32BIT_TIMER
usr/src/cmd/bhyve/common/acpi.c
488
ACPI_FADT_SLEEP_BUTTON | ACPI_FADT_32BIT_TIMER |
usr/src/common/acpica/hardware/hwtimer.c
186
if ((AcpiGbl_FADT.Flags & ACPI_FADT_32BIT_TIMER) == 0)
usr/src/common/acpica/hardware/hwtimer.c
318
if ((AcpiGbl_FADT.Flags & ACPI_FADT_32BIT_TIMER) == 0)
usr/src/common/acpica/utilities/utxface.c
291
if (AcpiGbl_FADT.Flags & ACPI_FADT_32BIT_TIMER)