On Thursday 03 May 2007, Martin Dieringer wrote:
> # sysctl kern.timecounter
> kern.timecounter.hardware: i8254
> kern.timecounter.choice: TSC(-1000) i8254(0) dummy(-1000000)

To me it seems that you are running with acpi disabled. For example I have 
this:
kern.timecounter.choice: TSC(800) ACPI-fast(1000) i8254(0) dummy(-1000000)
kern.timecounter.hardware: ACPI-fast

Re-enabling acpi may solve the problem.

HTH,
Pieter de GOeje
_______________________________________________
[email protected] mailing list
http://lists.freebsd.org/mailman/listinfo/freebsd-stable
To unsubscribe, send any mail to "[EMAIL PROTECTED]"

Reply via email to