K 10 svn:author V 6 marcel K 8 svn:date V 27 2014-02-16T19:20:13.942419Z K 7 svn:log V 67 MFC r257910: Don't enable interrupts before we call sched_throw(). END