Searched refs:kernel_timer_t (Results 1 – 8 of 8) sorted by relevance
102 kernel_timer_t timer_id, *temp_id; /* stores the returned timer_id */ in main()142 temp_id = (kernel_timer_t *) - 1; in main()151 temp_id = (kernel_timer_t *) - 1; in main()
93 kernel_timer_t created_timer_id; /* holds the returned timer_id */ in main()
85 kernel_timer_t created_timer_id; /* holds the returned timer_id */ in main()
91 static kernel_timer_t timer, tim;154 tim = (kernel_timer_t) - 1; in setup_test()
82 static kernel_timer_t timer;
70 typedef int kernel_timer_t; typedef
83 kernel_timer_t timer_id; in main()
75 #define INVALID_ID ((kernel_timer_t)-1)