2 * kernel-posix-timers.h - kernel-dependent definitions for POSIX timers.
10 /* Type of timers in the kernel */
11 typedef int kernel_timer_t;
13 /* Internal representation of timer */
15 /* Notification mechanism */
18 /* Timer ID returned by the kernel */
19 kernel_timer_t ktimerid;
22 * All new elements must be added after ktimerid. And if the thrfunc
23 * element is not the third element anymore the memory allocation in
24 * timer_create needs to be changed.
27 /* Parameters for the thread to be started for SIGEV_THREAD */
28 void (*thrfunc) (sigval_t);