cpu_boot_secondary  143 arch/i386/i386/cpu.c void   	cpu_boot_secondary(struct cpu_info *);
cpu_boot_secondary  376 arch/i386/i386/cpu.c 		cpu_boot_secondary(ci);