K 10
svn:author
V 3
mav
K 8
svn:date
V 27
2010-09-18T07:18:30.674103Z
K 7
svn:log
V 287
When global timer used at SMP system, update nextevent field on BSP before
sending IPI to other CPUs. Otherwise, other CPUs will try to honor stale
value, programming timer for zero interval. If timer is fast enough,
it caused extra interrupt before timer correctly reprogrammed by BSP.

END