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