if (mapping && cache_is_vivt()) __flush_dcache_aliases(mapping, page); }
void flush_dcache_page(struct page *page){	struct address_space *mapping = page_mapping(page);	if (cache_is_vipt_nonaliasing())		return;	if (mapping && !mapping_mapped(mapping))		set_bit(PG_dcache_dirty, &page->flags);	else		__flush_dcache_page(mapping, page);}