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

END