Symbol: acpitimer_supported
sys/dev/acpi/acpi_timer.c
116
if (!acpitimer_supported())
sys/dev/acpi/acpi_timer.c
69
if (!acpitimer_supported())