bsd4_setrunqueue_locked
static void bsd4_setrunqueue_locked(struct lwp *lp);
bsd4_setrunqueue_locked(lp);