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