|
@@ -43,6 +43,12 @@ extern void __flush_purge_region(void *start, int size);
|
|
extern void __flush_invalidate_region(void *start, int size);
|
|
extern void __flush_invalidate_region(void *start, int size);
|
|
#endif
|
|
#endif
|
|
|
|
|
|
|
|
+#define ARCH_HAS_FLUSH_KERNEL_DCACHE_PAGE
|
|
|
|
+static inline void flush_kernel_dcache_page(struct page *page)
|
|
|
|
+{
|
|
|
|
+ flush_dcache_page(page);
|
|
|
|
+}
|
|
|
|
+
|
|
#if defined(CONFIG_CPU_SH4) && !defined(CONFIG_CACHE_OFF)
|
|
#if defined(CONFIG_CPU_SH4) && !defined(CONFIG_CACHE_OFF)
|
|
extern void copy_to_user_page(struct vm_area_struct *vma,
|
|
extern void copy_to_user_page(struct vm_area_struct *vma,
|
|
struct page *page, unsigned long vaddr, void *dst, const void *src,
|
|
struct page *page, unsigned long vaddr, void *dst, const void *src,
|