tick_handover_do_timer   21 include/linux/tick.h extern void tick_handover_do_timer(void);
tick_handover_do_timer  872 kernel/cpu.c   	tick_handover_do_timer();