diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-05-08 22:45:06 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-05-08 22:45:06 +0200 |
| commit | 878c5456c5a2f9bff741a7b7bcdccd5c1694db22 (patch) | |
| tree | bcf3d101215fa70b953aa7e9d0de805c5f8865b4 /libddekit/include/ddekit/timer.h | |
| parent | 9062642230b7bfb48e7b30f98cba8528172b2d36 (diff) | |
| parent | c8f311a7a32d4b0cb0c21672f63bca8efdf5d83a (diff) | |
Merge branch 'dde' into HEAD
Diffstat (limited to 'libddekit/include/ddekit/timer.h')
| -rw-r--r-- | libddekit/include/ddekit/timer.h | 59 |
1 files changed, 59 insertions, 0 deletions
diff --git a/libddekit/include/ddekit/timer.h b/libddekit/include/ddekit/timer.h new file mode 100644 index 00000000..387f2078 --- /dev/null +++ b/libddekit/include/ddekit/timer.h @@ -0,0 +1,59 @@ +#ifndef _ddekit_timer_h +#define _ddekit_timer_h + +#include "ddekit/thread.h" + +#define jiffies (fetch_jiffies()) +#define HZ 100 + +enum +{ + DDEKIT_INVALID_TIMER_ID = -1, +}; + +/** \defgroup DDEKit_timer + * + * Timer subsystem + * + * DDEKit provides a generic timer implementation that enables users + * to execute a function with some arguments after a certain period + * of time. DDEKit therefore starts a timer thread that executes these + * functions and keeps track of the currently running timers. + */ + +/** Add a timer event. After the absolute timeout has expired, function fn + * is called with args as arguments. + * + * \ingroup DDEKit_timer + * + * \return >=0 valid timer ID + * \return < 0 error + */ +int ddekit_add_timer(void (*fn)(void *), void *args, unsigned long timeout); + +/** Delete timer with the corresponding timer id. + * + * \ingroup DDEKit_timer + */ +int ddekit_del_timer(int timer); + +/** Check whether a timer is pending + * + * \ingroup DDEKit_timer + * + * Linux needs this. + */ +int ddekit_timer_pending(int timer); + +/** Initialization function, startup timer thread + * + * \ingroup DDEKit_timer + */ +void ddekit_init_timers(void); + +/** Get the timer thread. + */ +ddekit_thread_t *ddekit_get_timer_thread(void); +extern unsigned long fetch_jiffies (void); + +#endif |
