static void __flush_dcache_page(struct address_space *mapping, struct page *page) 
void __flush_dcache_page(struct address_space *mapping, struct page *page) 
static void __flush_dcache_page(struct address_space *mapping, struct page *page){	struct mm_struct *mm = current->active_mm;	struct vm_area_struct *mpnt;	struct prio_tree_iter iter;	pgoff_t pgoff;	/*	 * Writeback any data associated with the kernel mapping of this	 * page.  This ensures that data in the physical page is mutually	 * coherent with the kernels mapping.	 */	__cpuc_flush_dcache_page(page_address(page));	/*	 * If there's no mapping pointer here, then this page isn't	 * visible to userspace yet, so there are no cache lines	 * associated with any other aliases.	 */	if (!mapping)		return;	/*	 * This is a page cache page.  If we have a VIPT cache, we	 * only need to do one flush - which would be at the relevant	 * userspace colour, which is congruent with page->index.	 */	if (cache_is_vipt()) {		if (cache_is_vipt_aliasing())			flush_pfn_alias(page_to_pfn(page),					page->index << PAGE_CACHE_SHIFT);		return;	}	/*	 * There are possible user space mappings of this page:	 * - VIVT cache: we need to also write back and invalidate all user	 *   data in the current VM view associated with this page.	 * - aliasing VIPT: we only need to find one mapping of this page.	 */	pgoff = page->index << (PAGE_CACHE_SHIFT - PAGE_SHIFT);	flush_dcache_mmap_lock(mapping);	vma_prio_tree_foreach(mpnt, &iter, &mapping->i_mmap, pgoff, pgoff) {		unsigned long offset;		/*		 * If this VMA is not in our MM, we can ignore it.		 */		if (mpnt->vm_mm != mm)			continue;		if (!(mpnt->vm_flags & VM_MAYSHARE))			continue;		offset = (pgoff - mpnt->vm_pgoff) << PAGE_SHIFT;		flush_cache_page(mpnt, mpnt->vm_start + offset, page_to_pfn(page));	}	flush_dcache_mmap_unlock(mapping);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/8830f04a092b47f3d246271b24685cd9eab82027/flush.c/clean/arch/arm/mm/flush.c