jhb 54a0ded8d4 Work around a race between msleep() and endtsleep() where it was possible
for endtsleep() to be executing when msleep() resumed, for endtsleep()
to spin on sched_lock long enough for the other process to loop on
msleep() and sleep again resulting in endtsleep() waking up the "wrong"
msleep.

Obtained from:	BSD/OS
2001-08-10 21:08:56 +00:00
..
2001-01-28 06:39:56 +00:00
2001-07-06 01:16:43 +00:00
2001-08-09 01:21:58 +00:00
2001-07-22 00:21:19 +00:00
2001-06-25 18:30:42 +00:00
2000-12-01 08:57:47 +00:00
2001-01-01 23:09:53 +00:00
2001-06-01 10:07:28 +00:00
2001-06-01 10:07:28 +00:00
2000-09-29 13:36:47 +00:00
2000-04-22 15:13:06 +00:00
2001-05-28 01:00:03 +00:00
2001-07-03 21:46:43 +00:00
2000-12-01 08:57:47 +00:00
2001-07-30 19:28:02 +00:00
2001-05-30 03:28:59 +00:00
2001-05-15 18:12:38 +00:00
2001-06-11 12:39:29 +00:00
2001-06-11 12:39:29 +00:00
2001-06-29 04:01:38 +00:00
2001-06-29 04:01:38 +00:00