trigger_dyntick_cpu  596 kernel/time/timer.c 	trigger_dyntick_cpu(base, timer);
trigger_dyntick_cpu 1051 kernel/time/timer.c 		trigger_dyntick_cpu(base, timer);