void jprobe_return(void) 
void __kprobes jprobe_return(void) 
void jprobe_return(void){	preempt_enable_no_resched();	asm volatile ("       xchgl   %%ebx,%%esp     \n"		      "       int3			\n"		      "       .globl jprobe_return_end	\n"		      "       jprobe_return_end:	\n"		      "       nop			\n"::"b"		      (jprobe_saved_esp):"memory");}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/3d97ae5b958855ac007b6f56a0f94ab8ade09e9e/kprobes.c/buggy/arch/i386/kernel/kprobes.c