[PATCH] Flush the D-cache during copy_user_highpage()

[Russell King - ARM Linux]

On Tue, Nov 24, 2009 at 05:00:39PM +0000, Catalin Marinas wrote:
> The I and D caches for copy-on-write pages on processors with
> write-allocate caches become incoherent causing problems on application
> relying on CoW for text pages (dynamic linker relocating symbols in a
> text page). This patch flushes the D-cache for such pages.

Don't we need to do this on ARMv7 as well?