void arch_disarm_kprobe(struct kprobe *p) 
void __kprobes arch_disarm_kprobe(struct kprobe *p) 
void arch_disarm_kprobe(struct kprobe *p){	*p->addr = p->opcode;	flush_icache_range((unsigned long) p->addr,			   (unsigned long) p->addr + sizeof(kprobe_opcode_t));}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/0f2fbdcbb041f9087da42f8ac2e81f2817098d2a/kprobes.c/buggy/arch/x86_64/kernel/kprobes.c