| commit | f76348a360fe92063e07a8f54b0c1ea67f91e76c | [log] [tgz] |
|---|---|---|
| author | Russell King <rmk+kernel@arm.linux.org.uk> | Thu Dec 24 12:57:01 2009 +0000 |
| committer | Russell King <rmk+kernel@arm.linux.org.uk> | Wed Apr 14 13:13:25 2010 +0100 |
| tree | 78d9d4de02d0c2d1283f47344f2656c7d751d754 | |
| parent | 6e8699f7d68589e0e9ab324f598a3357bceb40bc [diff] |
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>