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