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-06-14 19:32:52 +00:00
2003-07-01 15:07:01 +00:00
2003-06-08 10:20:32 +00:00
2003-02-06 11:25:03 +00:00
Use
2003-06-06 13:46:55 +00:00
2003-06-08 10:34:00 +00:00
2003-06-08 19:41:58 +00:00
Use
2003-06-06 13:46:55 +00:00
2003-01-28 23:03:15 +00:00
Use
2003-06-06 13:46:55 +00:00
2003-06-08 10:34:00 +00:00
Use
2003-06-06 13:46:55 +00:00
2003-06-19 22:12:54 +00:00
2003-06-01 19:41:49 +00:00
2003-05-22 13:02:28 +00:00
2003-06-14 18:42:37 +00:00
Use
2003-06-06 13:46:55 +00:00