kprobe_flush_task(current);  
void exit_thread(void){#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/97f7943d70ff0e1e92ea627c44cfacfdae65dbc4/process.c/clean/arch/ppc64/kernel/process.c