preempt_enable(); 
void exit_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}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/8117ce76c28ef0cab8545b518fa0543f6d1437e6/process.c/buggy/arch/ppc/kernel/process.c