void arch_remove_kprobe(struct kprobe *p) 
void __kprobes arch_remove_kprobe(struct kprobe *p) 
void arch_remove_kprobe(struct kprobe *p){	up(&kprobe_mutex);	free_insn_slot(p->ainsn.insn);	down(&kprobe_mutex);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/0f2fbdcbb041f9087da42f8ac2e81f2817098d2a/kprobes.c/buggy/arch/x86_64/kernel/kprobes.c