diff options
Diffstat (limited to 'REORG.TODO/time/bits/types/timer_t.h')
-rw-r--r-- | REORG.TODO/time/bits/types/timer_t.h | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/REORG.TODO/time/bits/types/timer_t.h b/REORG.TODO/time/bits/types/timer_t.h new file mode 100644 index 0000000000..d71a4130e2 --- /dev/null +++ b/REORG.TODO/time/bits/types/timer_t.h @@ -0,0 +1,9 @@ +#ifndef __timer_t_defined +#define __timer_t_defined 1 + +#include <bits/types.h> + +/* Timer ID returned by `timer_create'. */ +typedef __timer_t timer_t; + +#endif |