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 /arch/arm/mm/fault-armv.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 'arch/arm/mm/fault-armv.c')
-rw-r--r-- | arch/arm/mm/fault-armv.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/arch/arm/mm/fault-armv.c b/arch/arm/mm/fault-armv.c index c9b97e9836a2..82df01a72f4a 100644 --- a/arch/arm/mm/fault-armv.c +++ b/arch/arm/mm/fault-armv.c | |||
@@ -133,8 +133,6 @@ make_coherent(struct address_space *mapping, struct vm_area_struct *vma, | |||
133 | flush_dcache_mmap_unlock(mapping); | 133 | flush_dcache_mmap_unlock(mapping); |
134 | if (aliases) | 134 | if (aliases) |
135 | do_adjust_pte(vma, addr, pfn, ptep); | 135 | do_adjust_pte(vma, addr, pfn, ptep); |
136 | else | ||
137 | flush_cache_page(vma, addr, pfn); | ||
138 | } | 136 | } |
139 | 137 | ||
140 | /* | 138 | /* |