sysctl_timer_migration  202 include/linux/timer.h extern unsigned int sysctl_timer_migration;
sysctl_timer_migration 1244 kernel/sysctl.c 		.data		= &sysctl_timer_migration,
sysctl_timer_migration  223 kernel/time/timer.c unsigned int sysctl_timer_migration = 1;
sysctl_timer_migration  229 kernel/time/timer.c 	if (sysctl_timer_migration && tick_nohz_active)