diff options
| author | Russell King <rmk+kernel@arm.linux.org.uk> | 2009-12-24 07:57:01 -0500 |
|---|---|---|
| committer | Russell King <rmk+kernel@arm.linux.org.uk> | 2010-04-14 08:13:25 -0400 |
| commit | f76348a360fe92063e07a8f54b0c1ea67f91e76c (patch) | |
| tree | 78d9d4de02d0c2d1283f47344f2656c7d751d754 /scripts/basic/docproc.c | |
| 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>
Diffstat (limited to 'scripts/basic/docproc.c')
0 files changed, 0 insertions, 0 deletions