CHOOSE_MODE(exit_thread_tt(), exit_thread_skas()); 
void exit_thread(void){	CHOOSE_MODE(exit_thread_tt(), exit_thread_skas());	unprotect_stack((unsigned long) current_thread);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/0f7e663dea7f0e22f3b2d07156c5e9d2e8656610/process_kern.c/buggy/arch/um/kernel/process_kern.c