Symbol: ACPI_FADT_32BIT_TIMER
src/add-ons/kernel/bus_managers/acpi/acpica/components/hardware/hwtimer.c
186
if ((AcpiGbl_FADT.Flags & ACPI_FADT_32BIT_TIMER) == 0)
src/add-ons/kernel/bus_managers/acpi/acpica/components/hardware/hwtimer.c
318
if ((AcpiGbl_FADT.Flags & ACPI_FADT_32BIT_TIMER) == 0)
src/add-ons/kernel/bus_managers/acpi/acpica/components/utilities/utxface.c
291
if (AcpiGbl_FADT.Flags & ACPI_FADT_32BIT_TIMER)