Searched refs:insert_timer_in_queue (Results 1 – 1 of 1) sorted by relevance
68 static void insert_timer_in_queue(uint cpu, timer_t *timer) in insert_timer_in_queue() function124 insert_timer_in_queue(cpu, timer); in timer_set()317 insert_timer_in_queue(cpu, timer); in timer_tick()