static unsigned long __init setup_trampoline(void) 
static unsigned long __cpuinit setup_trampoline(void) 
static unsigned long __init setup_trampoline(void){	void *tramp = __va(SMP_TRAMPOLINE_BASE); 	memcpy(tramp, trampoline_data, trampoline_end - trampoline_data);	return virt_to_phys(tramp);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/a8ab26fe5bfeef43bdcde5182ca051ae0647607e/smpboot.c/clean/arch/x86_64/kernel/smpboot.c