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

[Simon Baatz]

Hi Catalin,

On Mon, Jun 10, 2013 at 11:23:07AM +0100, Catalin Marinas wrote:
> 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>

Thanks for the review. This is submitted now as patch #7755/1 in
Russell's patch system.

- Simon