1 #ifndef __timer_t_defined
2 #define __timer_t_defined 1
3 
4 #include <bits/types.h>
5 
6 /* Timer ID returned by `timer_create'.  */
7 typedef __timer_t timer_t;
8 
9 #endif
10