void arch_kprobe_flush_task(struct task_struct *tk, spinlock_t *kp_lock) 
void arch_kprobe_flush_task(struct task_struct *tk) 
void arch_kprobe_flush_task(struct task_struct *tk, spinlock_t *kp_lock){	unsigned long flags = 0;	struct kretprobe_instance *ri;	spin_lock_irqsave(kp_lock, flags);	while ((ri = get_rp_inst_tsk(tk)) != NULL) {		*((unsigned long *)(ri->stack_addr)) =					(unsigned long) ri->ret_addr;		recycle_rp_inst(ri);	}	spin_unlock_irqrestore(kp_lock, flags);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/0aa55e4d7db822059fe8132fe9f2b7773c48216c/kprobes.c/buggy/arch/i386/kernel/kprobes.c