19 #ifndef _POSIX_TIMER_H
20 #define _POSIX_TIMER_H
22 #include <posix/sig.h>
24 void pse51_timer_notified(pse51_siginfo_t *si);
26 void pse51_timer_init_thread(pthread_t
new);
28 void pse51_timer_cleanup_thread(pthread_t zombie);
30 void pse51_timerq_cleanup(pse51_kqueues_t *q);
32 int pse51_timer_pkg_init(
void);
34 void pse51_timer_pkg_cleanup(
void);