aboutsummaryrefslogtreecommitdiffstats
path: root/arch/arm/mm/fault-armv.c
diff options
context:
space:
mode:
authorRussell King <rmk+kernel@arm.linux.org.uk>2009-12-24 07:57:01 -0500
committerRussell King <rmk+kernel@arm.linux.org.uk>2010-04-14 08:13:25 -0400
commitf76348a360fe92063e07a8f54b0c1ea67f91e76c (patch)
tree78d9d4de02d0c2d1283f47344f2656c7d751d754 /arch/arm/mm/fault-armv.c
parent6e8699f7d68589e0e9ab324f598a3357bceb40bc (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.c2
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/*