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