|
@@ -676,6 +676,17 @@ void flush_cache_range(struct vm_area_struct *vma, unsigned long start,
|
|
|
flush_cache_all();
|
|
|
}
|
|
|
|
|
|
+void flush_anon_page(struct vm_area_struct *vma, struct page *page,
|
|
|
+ unsigned long u_vaddr)
|
|
|
+{
|
|
|
+ /* TBD: do we really need to clear the kernel mapping */
|
|
|
+ __flush_dcache_page(page_address(page), u_vaddr);
|
|
|
+ __flush_dcache_page(page_address(page), page_address(page));
|
|
|
+
|
|
|
+}
|
|
|
+
|
|
|
+#endif
|
|
|
+
|
|
|
void copy_user_highpage(struct page *to, struct page *from,
|
|
|
unsigned long u_vaddr, struct vm_area_struct *vma)
|
|
|
{
|
|
@@ -725,16 +736,6 @@ void clear_user_page(void *to, unsigned long u_vaddr, struct page *page)
|
|
|
set_bit(PG_arch_1, &page->flags);
|
|
|
}
|
|
|
|
|
|
-void flush_anon_page(struct vm_area_struct *vma, struct page *page,
|
|
|
- unsigned long u_vaddr)
|
|
|
-{
|
|
|
- /* TBD: do we really need to clear the kernel mapping */
|
|
|
- __flush_dcache_page(page_address(page), u_vaddr);
|
|
|
- __flush_dcache_page(page_address(page), page_address(page));
|
|
|
-
|
|
|
-}
|
|
|
-
|
|
|
-#endif
|
|
|
|
|
|
/**********************************************************************
|
|
|
* Explicit Cache flush request from user space via syscall
|