dispdeq
(void) dispdeq(tp);
(void) dispdeq(t);
thread_was_on_queue = dispdeq(tp); /* drops disp_lock */
(void) dispdeq(tp); /* drops disp_lock */
wasonq = dispdeq(tp); /* drops disp_lock */
(void) dispdeq(t);
on_rq = dispdeq(t);
(void) dispdeq(tp);
(void) dispdeq(tp);
extern int dispdeq(kthread_t *);