Searched refs:event_high_res_timer (Results 1 – 1 of 1) sorted by relevance
18 static timer_t event_high_res_timer = 0; variable44 timer_t *t = &event_high_res_timer; in os_timer_create()62 if (timer_settime(event_high_res_timer, 0, &its, NULL) == -1) in os_timer_set_interval()78 timer_settime(event_high_res_timer, 0, &its, NULL); in os_timer_one_shot()90 timer_settime(event_high_res_timer, 0, &its, NULL); in os_timer_disable()
