pte_t zero_pte = pte_wrprotect(mk_pte(ZERO_PAGE(addr), prot)); 
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); 
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 {		pte_t zero_pte = pte_wrprotect(mk_pte(ZERO_PAGE(addr), prot));		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/b5810039a54e5babf428e9a1e89fc1940fabff11/memory.c/buggy/mm/memory.c