 if (current->thread.dabr) { current->thread.dabr = 0; set_dabr(0); } 
void flush_thread(void){	struct thread_info *t = current_thread_info();	kprobe_flush_task(current);	if (t->flags & _TIF_ABI_PENDING)		t->flags ^= (_TIF_ABI_PENDING | _TIF_32BIT);#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 */#endif /* CONFIG_SMP */}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/fd9648dff6f9797ecc509bcd181706a274dc074d/process.c/clean/arch/ppc64/kernel/process.c