taglinefilesource code
smp_boot_cpus509arch/i386/kernel/smp.cvoid smp_boot_cpus(void)
smp_boot_cpus51arch/sparc/kernel/smp.cvoid smp_boot_cpus(void)