tick_periodic      84 kernel/time/tick-common.c 	tick_periodic(cpu);
tick_periodic      96 kernel/time/tick-common.c 		tick_periodic(cpu);