K 10
svn:author
V 6
marcel
K 8
svn:date
V 27
2008-09-16T17:11:33.425094Z
K 7
svn:log
V 242
o  In decr_get_timecount() only read the low timebase register.
   We're only returning a 32-bit counter.
o  In decr_intr(), manually perform LICM, so that we don't test
   a loop invariant condition inside a loop.
o  Include <machine/smp.h>

END