scpu             1303 kernel/sched/sched.h 			int cpu, int scpu);
scpu             2042 kernel/time/hrtimer.c int hrtimers_dead_cpu(unsigned int scpu)
scpu             2047 kernel/time/hrtimer.c 	BUG_ON(cpu_online(scpu));
scpu             2048 kernel/time/hrtimer.c 	tick_cancel_sched_timer(scpu);
scpu             2057 kernel/time/hrtimer.c 	old_base = &per_cpu(hrtimer_bases, scpu);