ARM: remove unnecessary cache flush
authorRussell King <rmk+kernel@arm.linux.org.uk>
Thu, 24 Dec 2009 12:57:01 +0000 (12:57 +0000)
committerRussell King <rmk+kernel@arm.linux.org.uk>
Wed, 14 Apr 2010 12:13:25 +0000 (13:13 +0100)
commitf76348a360fe92063e07a8f54b0c1ea67f91e76c
tree78d9d4de02d0c2d1283f47344f2656c7d751d754
parent6e8699f7d68589e0e9ab324f598a3357bceb40bc
ARM: remove unnecessary cache flush

This cache flush occurs when we first insert a page into the page
tables, where a page did not exist previously.  There can be no
cache lines associated with this virtual mapping, so this cache
flush is redundant.

Tested-by: Mike Rapoport <mike@compulab.co.il>
Tested-by: Mikael Pettersson <mikpe at it.uu.se>
Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk>
arch/arm/mm/fault-armv.c