diff options
Diffstat (limited to 'arch/arm/mm')
| -rw-r--r-- | arch/arm/mm/fault.c | 1 | ||||
| -rw-r--r-- | arch/arm/mm/pageattr.c | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/arch/arm/mm/fault.c b/arch/arm/mm/fault.c index 3b5ea68acbb8..aa33949fef60 100644 --- a/arch/arm/mm/fault.c +++ b/arch/arm/mm/fault.c @@ -20,6 +20,7 @@ #include <linux/highmem.h> #include <linux/perf_event.h> +#include <asm/exception.h> #include <asm/system.h> #include <asm/pgtable.h> #include <asm/tlbflush.h> diff --git a/arch/arm/mm/pageattr.c b/arch/arm/mm/pageattr.c index c11064517f56..f5519a93147d 100644 --- a/arch/arm/mm/pageattr.c +++ b/arch/arm/mm/pageattr.c @@ -35,7 +35,9 @@ extern void __flush_dcache_page(struct address_space *, struct page *); static void inner_flush_cache_all(void) { +#ifdef CONFIG_CPU_CACHE_V7 on_each_cpu(v7_flush_kern_cache_all, NULL, 1); +#endif } #if defined(CONFIG_CPA) |