static unsigned long __init setup_trampoline(void) 
static unsigned long __devinit setup_trampoline(void) 
static unsigned long __init setup_trampoline(void){	memcpy(trampoline_base, trampoline_data, trampoline_end - trampoline_data);	return virt_to_phys(trampoline_base);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/0bb3184df537002a742bafddf3f4fb482b7fe610/smpboot.c/clean/arch/i386/kernel/smpboot.c