arch_kprobe_flush_task(tk); 
head = kretprobe_inst_table_head(current); hlist_for_each_entry_safe(ri, node, tmp, head, hlist) { if (ri->task == tk) recycle_rp_inst(ri); } 
void kprobe_flush_task(struct task_struct *tk){	unsigned long flags = 0;	spin_lock_irqsave(&kprobe_lock, flags);	arch_kprobe_flush_task(tk);	spin_unlock_irqrestore(&kprobe_lock, flags);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/802eae7c800fb7f583e6c06afa363585af2bef00/kprobes.c/buggy/kernel/kprobes.c