s_cpus            798 arch/s390/kernel/smp.c 	unsigned int cpu, mtid, c_cpus, s_cpus;
s_cpus            827 arch/s390/kernel/smp.c 	c_cpus = s_cpus = 0;
s_cpus            835 arch/s390/kernel/smp.c 			s_cpus += smp_cpu_mtid + 1;
s_cpus            837 arch/s390/kernel/smp.c 	pr_info("%d configured CPUs, %d standby CPUs\n", c_cpus, s_cpus);