|
@@ -432,6 +432,16 @@ static inline void __flush_icache_all(void)
|
|
|
: "r" (0));
|
|
|
#endif
|
|
|
}
|
|
|
+static inline void flush_kernel_vmap_range(void *addr, int size)
|
|
|
+{
|
|
|
+ if ((cache_is_vivt() || cache_is_vipt_aliasing()))
|
|
|
+ __cpuc_flush_dcache_area(addr, (size_t)size);
|
|
|
+}
|
|
|
+static inline void invalidate_kernel_vmap_range(void *addr, int size)
|
|
|
+{
|
|
|
+ if ((cache_is_vivt() || cache_is_vipt_aliasing()))
|
|
|
+ __cpuc_flush_dcache_area(addr, (size_t)size);
|
|
|
+}
|
|
|
|
|
|
#define ARCH_HAS_FLUSH_ANON_PAGE
|
|
|
static inline void flush_anon_page(struct vm_area_struct *vma,
|