common/disp/fx.c

521 	fxpp->fx_tp = t;
574 	thread_lock(fxpp->fx_tp);
581 		thread_unlock(fxpp->fx_tp);
584 		thread_unlock(fxpp->fx_tp);
627 	cfxpp->fx_tp = ct;
1669 		if (fxpp->fx_tp->t_cid == fx_cid && fxpp->fx_ktid == ktid &&
1770 	thread_lock(fxpp->fx_tp);
1773 	thread_unlock(fxpp->fx_tp);
1799 	thread_lock(fxpp->fx_tp);
1821 	fx_change_priority(fxpp->fx_tp, fxpp);
1823 	thread_unlock(fxpp->fx_tp);