arch_kprobe_flush_task(tk, &kprobe_lock); 
unsigned long flags = 0; spin_lock_irqsave(&kprobe_lock, flags); arch_kprobe_flush_task(tk); spin_unlock_irqrestore(&kprobe_lock, flags); 
void kprobe_flush_task(struct task_struct *tk){	arch_kprobe_flush_task(tk, &kprobe_lock);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/0aa55e4d7db822059fe8132fe9f2b7773c48216c/kprobes.c/buggy/kernel/kprobes.c