K 10
svn:author
V 6
marcel
K 8
svn:date
V 27
2013-11-09T04:40:32.687232Z
K 7
svn:log
V 144
Don't enable interrupts before we call sched_throw(). Interrupts
are expected to be disabled by virtue of md_spinlock_count==1
assumed to hold.

END