Searched refs:event_high_res_timer (Results 1 – 1 of 1) sorted by relevance
22 static timer_t event_high_res_timer[CONFIG_NR_CPUS] = { 0 }; variable47 timer_t *t = &event_high_res_timer[cpu]; in os_timer_create()71 if (timer_settime(event_high_res_timer[cpu], 0, &its, NULL) == -1) in os_timer_set_interval()87 timer_settime(event_high_res_timer[cpu], 0, &its, NULL); in os_timer_one_shot()100 timer_settime(event_high_res_timer[cpu], 0, &its, NULL); in os_timer_disable()