K 10
svn:author
V 3
ian
K 8
svn:date
V 27
2014-05-18T01:18:42.572673Z
K 7
svn:log
V 275
MFC 265913, 265914:

  Interrupts need to be disabled on entry to cpu_sleep() for ARM.  Given
  that and the need to be in a critical section when switching to idleclock
  mode for event timers, use spinlock_enter()/exit() to achieve both needs.

  Clean up some style nits.

END