cpu_spinup_trampoline_end  475 arch/i386/i386/cpu.c 	extern u_char cpu_spinup_trampoline_end[];
cpu_spinup_trampoline_end  481 arch/i386/i386/cpu.c 	    cpu_spinup_trampoline_end - cpu_spinup_trampoline);