John Baldwin 8a6149a3a3 Don't bother setting the saved IPL in the sched_lock mutex as it doesn't
really do anything since the first mtx_enter() will overwrite the value
saved here.
2000-10-20 20:14:55 +00:00
..
2000-10-20 07:38:44 +00:00
2000-10-20 07:31:00 +00:00
2000-05-01 20:32:07 +00:00
2000-10-20 19:37:51 +00:00
2000-05-01 20:32:07 +00:00