K 10 svn:author V 3 mav K 8 svn:date V 27 2009-05-02T12:59:47.131108Z K 7 svn:log V 148 Add support for using i8254 and rtc timers as event sources for i386 SMP system. Redistribute hard-/stat-/profclock events to other CPUs using IPI. END