pte_unmap(pte - 1); 
pte_unmap_unlock(pte - 1, ptl); 
static int zeromap_pte_range(struct mm_struct *mm, pmd_t *pmd,			unsigned long addr, unsigned long end, pgprot_t prot){	pte_t *pte;	pte = pte_alloc_map(mm, pmd, addr);	if (!pte)		return -ENOMEM;	do {		struct page *page = ZERO_PAGE(addr);		pte_t zero_pte = pte_wrprotect(mk_pte(page, prot));		page_cache_get(page);		page_add_file_rmap(page);		inc_mm_counter(mm, file_rss);		BUG_ON(!pte_none(*pte));		set_pte_at(mm, addr, pte, zero_pte);	} while (pte++, addr += PAGE_SIZE, addr != end);	pte_unmap(pte - 1);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c74df32c724a1652ad8399b4891bb02c9d43743a/memory.c/buggy/mm/memory.c