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