free_insn_slot(p->ainsn.insn); down(&kprobe_mutex); 
void __kprobes 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/2d8ab6ad6edf0e8709da9ad24e3f023503f76cee/kprobes.c/buggy/arch/ppc64/kernel/kprobes.c