Searched refs:event_high_res_timer (Results 1 – 1 of 1) sorted by relevance
19 static timer_t event_high_res_timer = 0; variable48 t = &event_high_res_timer; in os_timer_create()68 t = &event_high_res_timer; in os_timer_set_interval()106 t = &event_high_res_timer; in os_timer_remain()132 timer_settime(event_high_res_timer, 0, &its, NULL); in os_timer_one_shot()145 timer_settime(event_high_res_timer, 0, &its, &its); in os_timer_disable()