On Sun, Jan 04, 2015 at 01:23:24PM -0500, Jonathon Sisson wrote: > # sysctl kern.timecounter.choice > > I have a Dell that has a "broken" clocksource that exhibits the same. > Set kern.timecounter.choice to one of the other choices (you'll have > to experiment with that, I can't help you there). Once you find the > one that works, set it in /etc/sysctl.conf and be on your way. >
As already pointed out, that should have been "set kern.timecounter.hardware using one of the kern.timecounter.choice options"
