Daniel Eischen 24dc93d4c2 Don't forget to unlock the scheduler lock. Somehow this got removed
from one of my last commits.  This only affected priority ceiling
mutexes.

Pointy hat to:	deischen
2003-07-30 13:28:05 +00:00
..
2003-07-26 02:36:50 +00:00
2003-07-02 20:52:39 +00:00