kprobe_flush_task(current); 
void flush_thread(void){#ifdef CONFIG_PPC64	struct thread_info *t = current_thread_info();	if (t->flags & _TIF_ABI_PENDING)		t->flags ^= (_TIF_ABI_PENDING | _TIF_32BIT);#endif	kprobe_flush_task(current);#ifndef CONFIG_SMP	if (last_task_used_math == current)		last_task_used_math = NULL;#ifdef CONFIG_ALTIVEC	if (last_task_used_altivec == current)		last_task_used_altivec = NULL;#endif /* CONFIG_ALTIVEC */#ifdef CONFIG_SPE	if (last_task_used_spe == current)		last_task_used_spe = NULL;#endif#endif /* CONFIG_SMP */#ifdef CONFIG_PPC64	/* for now */	if (current->thread.dabr) {		current->thread.dabr = 0;		set_dabr(0);	}#endif}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/8bf1101bd52573e0573e374d56d2feecdbb5e444/process.c/buggy/arch/powerpc/kernel/process.c