continue; if (!pte_maybe_dirty(*pte)) 
static void sync_pte_range(struct vm_area_struct *vma, pmd_t *pmd,				unsigned long addr, unsigned long end){	pte_t *pte;	pte = pte_offset_map(pmd, addr);	do {		unsigned long pfn;		struct page *page;		if (!pte_present(*pte))			continue;		pfn = pte_pfn(*pte);		if (!pfn_valid(pfn))			continue;		page = pfn_to_page(pfn);		if (PageReserved(page))			continue;		if (ptep_clear_flush_dirty(vma, addr, pte) ||		    page_test_and_clear_dirty(page))			set_page_dirty(page);	} while (pte++, addr += PAGE_SIZE, addr != end);	pte_unmap(pte - 1);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/b4955ce3dd0818b56da532a16c9a4a3804a558ee/msync.c/clean/mm/msync.c