[PATCH V5] ARM: handle user space mapped pages in flush_kernel_dcache_page

[Catalin Marinas]

On Wed, Jun 05, 2013 at 08:59:04PM +0100, Simon Baatz wrote:
> Commit f8b63c1 made flush_kernel_dcache_page a no-op assuming that the pages
> it needs to handle are kernel mapped only.  However, for example when doing
> direct I/O, pages with user space mappings may occur.
> 
> Thus, continue to do lazy flushing if there are no user space mappings.
> Otherwise, flush the kernel cache lines directly.
> 
> Signed-off-by: Simon Baatz <gmbnomis at gmail.com>
> Cc: <stable at vger.kernel.org> # 3.2+
> CC: Catalin Marinas <catalin.marinas at arm.com>
> Cc: Russell King <linux at arm.linux.org.uk>

Reviewed-by: Catalin Marinas <catalin.marinas at arm.com>