fx_change_priority
fx_change_priority(tx, fxpp);
fx_change_priority(t, fxpp);
fx_change_priority(curthread, fxpp);
fx_change_priority(fxpp->fx_tp, fxpp);
static void fx_change_priority(kthread_t *, fxproc_t *);
fx_change_priority(t, fxpp);