K 10
svn:author
V 6
davide
K 8
svn:date
V 27
2012-07-13T14:02:05.075029Z
K 7
svn:log
V 407
Fix an issue related to old periodic timers. The code in kern_clocksource.c
uses interrupt to keep track of time, and this time may not match with
binuptime(). In order to address such incoerency, switch periodic timers to
binuptime(). While here, modify callout_process() so that it takes present
time as argument avoiding to call binuptime() twice even though it's not
strictly needed.

Reviewed by:		mav

END