Clean up the token code and implement lwkt_token_is_stale(). Users of
commit7eb611efb7f1dc00a875eb37cf518b3037531a38
authorMatthew Dillon <dillon@dragonflybsd.org>
Sat, 1 Mar 2008 06:21:28 +0000 (1 06:21 +0000)
committerMatthew Dillon <dillon@dragonflybsd.org>
Sat, 1 Mar 2008 06:21:28 +0000 (1 06:21 +0000)
treefefaa9f5e9fa80628be7f57de1114193dc7955d2
parent3fabb1420c154bcc5f4eafcfc275b00ee7b7188f
Clean up the token code and implement lwkt_token_is_stale().  Users of
the token code are now able to detect if the token was acquired and released
by someone else while they were blocked.

Submitted-by: Michael Neumann <mneumann@ntecs.de>
sys/kern/lwkt_thread.c
sys/kern/lwkt_token.c
sys/sys/thread.h