K 10
svn:author
V 6
cognet
K 8
svn:date
V 27
2012-03-03T17:03:26.014565Z
K 7
svn:log
V 284
Add the IPI_IRQ_START and IPI_IRQ_END that I forgot to add yesterday.
Introduce a new option, NO_EVENTTIMERS, and use it for the platforms which
haven't been converted to use event timers yet. If set, the cpu_idle.c code
will make no attempt to call cpu_idleclock()/cpu_activeclock()

END