diff options
-rw-r--r-- | arch/arm/mm/flush.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/arch/arm/mm/flush.c b/arch/arm/mm/flush.c index 302d66517488..dc66f867bec4 100644 --- a/arch/arm/mm/flush.c +++ b/arch/arm/mm/flush.c | |||
@@ -134,11 +134,9 @@ void __flush_dcache_page(struct address_space *mapping, struct page *page) | |||
134 | * we only need to do one flush - which would be at the relevant | 134 | * we only need to do one flush - which would be at the relevant |
135 | * userspace colour, which is congruent with page->index. | 135 | * userspace colour, which is congruent with page->index. |
136 | */ | 136 | */ |
137 | if (mapping && cache_is_vipt_aliasing()) { | 137 | if (mapping && cache_is_vipt_aliasing()) |
138 | flush_pfn_alias(page_to_pfn(page), | 138 | flush_pfn_alias(page_to_pfn(page), |
139 | page->index << PAGE_CACHE_SHIFT); | 139 | page->index << PAGE_CACHE_SHIFT); |
140 | __flush_icache_all(); | ||
141 | } | ||
142 | } | 140 | } |
143 | 141 | ||
144 | static void __flush_dcache_aliases(struct address_space *mapping, struct page *page) | 142 | static void __flush_dcache_aliases(struct address_space *mapping, struct page *page) |