FX_CALLB
FX_CB_PREEMPT(FX_CALLB(fxpp), fxpp->fx_cookie,
FX_CB_SLEEP(FX_CALLB(fxpp), fxpp->fx_cookie);
FX_CB_STOP(FX_CALLB(fxpp), fxpp->fx_cookie);
FX_CB_TICK(FX_CALLB(fxpp), fxpp->fx_cookie,
FX_CB_WAKEUP(FX_CALLB(fxpp), fxpp->fx_cookie,
FX_CB_PREEMPT(FX_CALLB(fxpp), fxpp->fx_cookie,
FX_CB_EXIT(FX_CALLB(fxpp), fxpp->fx_cookie);
FX_CB_EXIT(FX_CALLB(fxpp), fxpp->fx_cookie);