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)
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>

No differences found