Timecounting issue

[Rui Paulo]

Hi,
I have a machine only knows to count time if I'm using TSC.

For example:
# sysctl kern.timecounter.hardware=ACPI-fast && time sleep 1 && sysctl
 kern.timecounter.hardware=i8254 && time sleep 1 && sysctl
kern.timecounter.hardware=HPET && time sleep 1 && sysctl
kern.timecounter.hardware=TSC && time sleep 1

Gives:
kern.timecounter.hardware: HPET -> ACPI-fast
sleep 1  0.00s user 0.00s system 0% cpu 1.517 total
kern.timecounter.hardware: ACPI-fast -> i8254
sleep 1  0.00s user 0.00s system 0% cpu 1.516 total
kern.timecounter.hardware: i8254 -> HPET
sleep 1  0.00s user 0.00s system 0% cpu 1.516 total
kern.timecounter.hardware: HPET -> TSC
sleep 1  0.00s user 0.00s system 0% cpu 1.006 total

This happens if I enable SMP or not.

Any hint on how to debug this ?

Thanks