tick_setup_device  280 kernel/time/tick-common.c 	tick_setup_device(td, newdev, cpu, cpumask_of(cpu));
tick_setup_device  369 kernel/time/tick-common.c 	tick_setup_device(td, newdev, cpu, cpumask_of(cpu));