K 10
svn:author
V 6
marcel
K 8
svn:date
V 27
2010-03-22T04:01:45.187353Z
K 7
svn:log
V 247
With preemption, the high FP registers may get enabled by cpu_switch()
before we grab the mutex. Don't assert that they must be disabled at
that point. We pretty much bypass all logic in that case anyway and
leave immediately, so there's no harm.

END