|
@@ -70,11 +70,6 @@ void copy_to_user_page(struct vm_area_struct *vma, struct page *page,
|
|
|
#endif
|
|
|
}
|
|
|
|
|
|
-void __flush_dcache_page(struct page *page)
|
|
|
-{
|
|
|
- __flush_dcache_area(page_address(page), PAGE_SIZE);
|
|
|
-}
|
|
|
-
|
|
|
void __sync_icache_dcache(pte_t pte, unsigned long addr)
|
|
|
{
|
|
|
struct page *page = pte_page(pte);
|
|
@@ -84,7 +79,7 @@ void __sync_icache_dcache(pte_t pte, unsigned long addr)
|
|
|
return;
|
|
|
|
|
|
if (!test_and_set_bit(PG_dcache_clean, &page->flags)) {
|
|
|
- __flush_dcache_page(page);
|
|
|
+ __flush_dcache_area(page_address(page), PAGE_SIZE);
|
|
|
__flush_icache_all();
|
|
|
} else if (icache_is_aivivt()) {
|
|
|
__flush_icache_all();
|