>>122
$ less +/quality /var/run/dmesg.boot
してみると書いてあると思うけど、起動時に利用可能なタイマーにスコアを
つけて、一番良かったのを選ぶようになってるんだね。kern.timecounter.choice
にそれが載ってるはず。

kern.timecounter.hardware: ACPI-fast
kern.timecounter.choice: TSC(800) ACPI-fast(1000) i8254(0) dummy(-1000000)

ただ、自動で選んだタイマーがうまく動かない場合があって、その場合は
手動で固定するといいんだけど、選定してからsysctl.confで再設定するまでに
時間があくとやっぱりエラーが出るんだろうね。確か/boot/loader.confに
書いても効果ないんだよね?