cpu_copy_trampoline  144 arch/i386/i386/cpu.c void	cpu_copy_trampoline(void);
cpu_copy_trampoline  161 arch/i386/i386/cpu.c 	cpu_copy_trampoline();