kern/187668: [kernel] Profiling timer does not work when setting low interval due to change in kern_time.c

[mav at FreeBSD.org]

Synopsis: [kernel] Profiling timer does not work when setting low interval due to change in kern_time.c

State-Changed-From-To: open->closed
State-Changed-By: mav
State-Changed-When: Wed Apr 23 12:38:11 UTC 2014
State-Changed-Why: 
Fix committed and merged.

http://www.freebsd.org/cgi/query-pr.cgi?pr=187668