proc_trampoline   132 arch/i386/i386/vm_machdep.c 	sf->sf_eip = (int)proc_trampoline;
proc_trampoline   370 arch/i386/include/cpu.h void	proc_trampoline(void);