%sysctl -a | grep smp_tsc
kern.timecounter.smp_tsc: 0
のように、デフォルトではオフになっていて、
%sysctl kern.timecounter.smp_tsc=1
sysctl: oid 'kern.timecounter.smp_tsc' is a read only tunable
sysctl: Tunable values are set in /boot/loader.conf
ということなので、sysctl.conf で指定する必要があると。
