if (!pfn_valid(pfn) || PageReserved(pfn_to_page(pfn))) set_pte_at(mm, addr, pte, pfn_pte(pfn, prot)); 
set_pte_at(mm, addr, pte, pfn_pte(pfn, prot)); 
static int remap_pte_range(struct mm_struct *mm, pmd_t *pmd,			unsigned long addr, unsigned long end,			unsigned long pfn, pgprot_t prot){	pte_t *pte;	pte = pte_alloc_map(mm, pmd, addr);	if (!pte)		return -ENOMEM;	do {		BUG_ON(!pte_none(*pte));		if (!pfn_valid(pfn) || PageReserved(pfn_to_page(pfn)))			set_pte_at(mm, addr, pte, pfn_pte(pfn, prot));		pfn++;	} 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