THREAD_RUN
THREAD_RUN(tp, &dp->disp_lock); /* set t_state to TS_RUN */
THREAD_RUN(tp, &dp->disp_lock); /* set TS_RUN state and lock */
THREAD_RUN(tp, &dp->disp_lock); /* set t_state to TS_RUN */
THREAD_RUN(tp, &swapped_lock); /* set TS_RUN state and lock */