disp_swapped_enq
void disp_swapped_enq(kthread_t *tp);
disp_swapped_enq(t);
disp_swapped_enq(tp);
extern void disp_swapped_enq(kthread_t *);