Searched refs:timer_switch (Results 1 – 3 of 3) sorted by relevance
132 void timer_switch(timer_t timer, uint64_t tstamp, timer_t new_timer);
125 timer_switch(timer_t timer, uint64_t tstamp, timer_t new_timer) in timer_switch() function
6219 timer_switch(&processor->system_state, ctime, &processor->idle_state); in processor_idle()6304 timer_switch(&processor->idle_state, ctime, &processor->system_state); in processor_idle()