Searched refs:kernel_timer_t (Results 1 – 8 of 8) sorted by relevance
29 static kernel_timer_t timer;30 static kernel_timer_t timer_inval = -1;43 kernel_timer_t *timer_id;
30 static kernel_timer_t timer;
44 static kernel_timer_t timer_id;49 kernel_timer_t *kt_ptr;
34 kernel_timer_t created_timer_id; in run()
49 kernel_timer_t created_timer_id; in run()
22 #define INVALID_ID ((kernel_timer_t)-1)
25 kernel_timer_t timer_id; in run()
79 typedef int kernel_timer_t; typedef