Searched refs:new_timer (Results 1 – 2 of 2) sorted by relevance
125 timer_switch(timer_t timer, uint64_t tstamp, timer_t new_timer) in timer_switch() argument128 new_timer->tstamp = tstamp; in timer_switch()138 processor_timer_switch_thread(uint64_t tstamp, timer_t new_timer) in processor_timer_switch_thread() argument148 processor->thread_timer = new_timer; in processor_timer_switch_thread()149 new_timer->tstamp = tstamp; in processor_timer_switch_thread()
132 void timer_switch(timer_t timer, uint64_t tstamp, timer_t new_timer);140 void processor_timer_switch_thread(uint64_t tstamp, timer_t new_timer);