switch_mm_skas(current->mm->context.skas.mm_fd); 
switch_mm_skas(&current->mm->context.skas.id); 
void flush_thread_skas(void){	force_flush_all();	switch_mm_skas(current->mm->context.skas.mm_fd);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/d67b569f5f620c0fb95d5212642746b7ba9d29e4/exec_kern.c/buggy/arch/um/kernel/skas/exec_kern.c