K 10 svn:author V 3 jhb K 8 svn:date V 27 2001-08-10T21:08:56.000000Z K 7 svn:log V 315 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 END