void __init initialize_secondary(void) 
void __devinit initialize_secondary(void) 
void __init initialize_secondary(void){	/*	 * We don't actually need to load the full TSS,	 * basically just the stack pointer and the eip.	 */	asm volatile(		"movl %0,%%esp\n\t"		"jmp *%1"		:		:"r" (current->thread.esp),"r" (current->thread.eip));}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/0bb3184df537002a742bafddf3f4fb482b7fe610/smpboot.c/buggy/arch/i386/kernel/smpboot.c