smp4d_smp_done    122 arch/sparc/kernel/kernel.h void __init smp4d_smp_done(void);
smp4d_smp_done     97 arch/sparc/kernel/smp_32.c 		smp4d_smp_done();