K 10
svn:author
V 4
jkim
K 8
svn:date
V 27
2008-10-22T00:01:53.185119Z
K 7
svn:log
V 110
Set kern.timecounter.invariant_tsc to 1 for AMD CPU family 10h and higher
even if BIOS does not advertise it.

END