Using bintime() in acpi_cpu_idle()?

[Alexander Motin]

Hi.

With ACPI timer gradually becoming one of slowest in the system, is 
there some reason to use it directly in acpi_cpu_idle()? I've made a patch:
http://people.freebsd.org/~mav/sleep_time.patch
to use binuptime() instead. Using even HPET from system time counter 
(not even speaking about TSC) that significantly improves performance on 
some workloads if this code is not covered by MWAIT optimization in 
cpu_idle().

-- 
Alexander Motin