fx_cookie_t
fx_register_callbacks(fx_callbacks_t *fx_callback, fx_cookie_t cookie,
fx_cookie_t fx_cookie; /* cookie with which callback */
extern int fx_register_callbacks(fx_callbacks_t *, fx_cookie_t, pri_t, clock_t);
void (*fx_callb_exit)(fx_cookie_t);
void (*fx_callb_tick)(fx_cookie_t, clock_t *, pri_t *);
void (*fx_callb_preempt)(fx_cookie_t, clock_t *, pri_t *);
void (*fx_callb_stop)(fx_cookie_t);
void (*fx_callb_sleep)(fx_cookie_t);
void (*fx_callb_wakeup)(fx_cookie_t, clock_t *, pri_t *);