preempt_enable(); 
void flush_thread(void){	if (last_task_used_math == current)		last_task_used_math = NULL;	if (last_task_used_altivec == current)		last_task_used_altivec = NULL;#ifdef CONFIG_SPE	if (last_task_used_spe == current)		last_task_used_spe = NULL;#endif}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/9f232a125bf86b0dae09f8ea4a0553535cf6b658/process.c/clean/arch/ppc/kernel/process.c