Lines Matching defs:fx_cookie_t
51 typedef uintptr_t fx_cookie_t; /* handle for callback supplied storage */
58 * for the fx_cookie_t.
70 void (*fx_callb_exit)(fx_cookie_t);
71 void (*fx_callb_tick)(fx_cookie_t, clock_t *, pri_t *);
72 void (*fx_callb_preempt)(fx_cookie_t, clock_t *, pri_t *);
73 void (*fx_callb_stop)(fx_cookie_t);
74 void (*fx_callb_sleep)(fx_cookie_t);
75 void (*fx_callb_wakeup)(fx_cookie_t, clock_t *, pri_t *);
125 fx_cookie_t fx_cookie; /* cookie with which callback */
153 extern int fx_register_callbacks(fx_callbacks_t *, fx_cookie_t, pri_t, clock_t);