pte_lock_deinit(virt_to_page(mmu->last_page_table)); 
void destroy_context_skas(struct mm_struct *mm){	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);	if(!proc_mm || !ptrace_faultinfo){		free_page(mmu->id.stack);		pte_free_kernel((pte_t *) mmu->last_page_table);                dec_page_state(nr_page_table_pages);#ifdef CONFIG_3_LEVEL_PGTABLES		pmd_free((pmd_t *) mmu->last_pmd);#endif	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4c21e2f2441dc5fbb957b030333f5a3f2d02dea7/mmu.c/buggy/arch/um/kernel/skas/mmu.c