os_close_file(mm->context.skas.mm_fd); 
struct mmu_context_skas *mmu = &mm->context.skas;  if(proc_mm) os_close_file(mmu->id.u.mm_fd); else { os_kill_ptraced_process(mmu->id.u.pid, 1); free_page(mmu->id.stack); free_page(mmu->last_page_table); } 
void destroy_context_skas(struct mm_struct *mm){	os_close_file(mm->context.skas.mm_fd);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/d67b569f5f620c0fb95d5212642746b7ba9d29e4/mmu.c/clean/arch/um/kernel/skas/mmu.c