diff options
| author | Gary King <gking@nvidia.com> | 2010-09-02 17:26:41 -0700 |
|---|---|---|
| committer | Dan Willemsen <dwillemsen@nvidia.com> | 2010-10-13 14:18:00 -0700 |
| commit | 9fb0ae68a1affbb4939411045599cdc8ceabad60 (patch) | |
| tree | 7193496af03072af337c61c4f44da1b0a5ee092d /arch/arm/mm/flush.c | |
| parent | 8e143984e4318cf2c9ffbd1f4013734cecb70724 (diff) | |
Revert "ARMv7: Use lazy cache flushing if hardware broadcasts cache operations"
This reverts commit ff6c5cd434c779b6b3e8140a5bd5c30793a6123f.
Diffstat (limited to 'arch/arm/mm/flush.c')
| -rw-r--r-- | arch/arm/mm/flush.c | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/arch/arm/mm/flush.c b/arch/arm/mm/flush.c index e0758968e9f8..c6844cb9b508 100644 --- a/arch/arm/mm/flush.c +++ b/arch/arm/mm/flush.c @@ -17,7 +17,6 @@ #include <asm/smp_plat.h> #include <asm/system.h> #include <asm/tlbflush.h> -#include <asm/smp_plat.h> #include "mm.h" @@ -247,10 +246,12 @@ void flush_dcache_page(struct page *page) mapping = page_mapping(page); - if (!cache_ops_need_broadcast() && - !PageHighMem(page) && mapping && !mapping_mapped(mapping)) +#ifndef CONFIG_SMP + if (!PageHighMem(page) && mapping && !mapping_mapped(mapping)) set_bit(PG_dcache_dirty, &page->flags); - else { + else +#endif + { __flush_dcache_page(mapping, page); if (mapping && cache_is_vivt()) __flush_dcache_aliases(mapping, page); |