int dirty = test_and_clear_bit(PG_dcache_dirty, &page->flags);
if (dirty)
__flush_dcache_page(mapping, page);
int dirty = test_and_clear_bit(PG_dcache_dirty, &page->flags);
if (dirty)
__flush_dcache_page(mapping, page);
if (cache_is_vivt())
make_coherent(mapping, vma, addr, pfn);
if (cache_is_vivt())
make_coherent(mapping, vma, addr, pfn);