(jprobe_saved_rsp):"memory"); 
(kcb->jprobe_saved_rsp):"memory"); 
void __kprobes jprobe_return(void){	asm volatile ("       xchg   %%rbx,%%rsp     \n"		      "       int3			\n"		      "       .globl jprobe_return_end	\n"		      "       jprobe_return_end:	\n"		      "       nop			\n"::"b"		      (jprobe_saved_rsp):"memory");}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e7a510f92c1e482a7db05afd3cb84af1f4cfe0bc/kprobes.c/clean/arch/x86_64/kernel/kprobes.c