tick_sched_do_timer 1201 kernel/time/tick-sched.c 	tick_sched_do_timer(ts, now);
tick_sched_do_timer 1296 kernel/time/tick-sched.c 	tick_sched_do_timer(ts, now);