smp_highest_cpu    31 arch/sparc/kernel/sun4d_smp.c static int smp_highest_cpu;
smp_highest_cpu   289 arch/sparc/kernel/sun4d_smp.c 		register int high = smp_highest_cpu;