| Prelude library Reference Manual | ||||
|---|---|---|---|---|
| Top | Description | ||||
prelude_timer_t;
#define prelude_timer_get_expire (timer)
#define prelude_timer_get_data (timer)
#define prelude_timer_get_callback (timer)
#define prelude_timer_set_expire (timer, x)
#define prelude_timer_set_data (timer, x)
#define prelude_timer_set_callback (timer, x)
void prelude_timer_init (prelude_timer_t *timer);
void prelude_timer_init_list (prelude_timer_t *timer);
void prelude_timer_reset (prelude_timer_t *timer);
void prelude_timer_destroy (prelude_timer_t *timer);
void prelude_timer_wake_up (void);
void prelude_timer_flush (void);
void prelude_timer_lock_critical_region (void);
void prelude_timer_unlock_critical_region
(void);