smp_num_probed     73 arch/alpha/kernel/smp.c int smp_num_probed;		/* Internal processor count */
smp_num_probed    427 arch/alpha/kernel/smp.c 				smp_num_probed++;
smp_num_probed    439 arch/alpha/kernel/smp.c 		smp_num_probed = 1;
smp_num_probed    443 arch/alpha/kernel/smp.c 	       smp_num_probed, cpumask_bits(cpu_present_mask)[0]);
smp_num_probed    461 arch/alpha/kernel/smp.c 	if (smp_num_probed == 1 || max_cpus == 0) {
smp_num_probed    470 arch/alpha/kernel/smp.c 	smp_num_cpus = smp_num_probed;