K 10
svn:author
V 3
bde
K 8
svn:date
V 27
1999-07-18T15:07:20.000000Z
K 7
svn:log
V 279
Added a sysctl "kern.timecounter.hardware" for selecting the hardware
used for timecounting.  The possible values are the names of the
physically present harware timecounters ("i8254" and "TSC" on i386's).

Fixed some nearby bitrot in comments in <sys/time.h>.

Reviewed by:	phk

END