diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2012-02-21 23:37:19 +0000 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2012-02-22 01:49:55 +0000 |
| commit | 0d6bc97a073fc3aacd0cc4ff417edf6d5f79a25c (patch) | |
| tree | b1613ee6efb4a18961fb43ee6b660e8b94fd196e /libddekit/ddekit/timer.h | |
| parent | 0d540cbe80276303d9cf1012da97f44d65285288 (diff) | |
Clean up includes
To use the standard hurd Makeconf rules and permit external dde_* build
Conflicts:
dde_e100/Makefile
dde_e1000/Makefile
dde_ne2k_pci/Makefile
dde_pcnet32/Makefile
dde_rtl8139/Makefile
Diffstat (limited to 'libddekit/ddekit/timer.h')
| -rw-r--r-- | libddekit/ddekit/timer.h | 59 |
1 files changed, 59 insertions, 0 deletions
diff --git a/libddekit/ddekit/timer.h b/libddekit/ddekit/timer.h new file mode 100644 index 00000000..387f2078 --- /dev/null +++ b/libddekit/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 |
