1 // SPDX-License-Identifier: GPL-2.0
2 // Copyright (C) 2018 Hangzhou C-SKY Microsystems co.,ltd.
4 #include <linux/cache.h>
5 #include <linux/highmem.h>
9 void update_mmu_cache(struct vm_area_struct *vma, unsigned long address,
15 page = pfn_to_page(pte_pfn(*pte));
16 if (page == ZERO_PAGE(0))
19 if (test_and_set_bit(PG_dcache_clean, &page->flags))
22 addr = (unsigned long) kmap_atomic(page);
24 dcache_wb_range(addr, addr + PAGE_SIZE);
26 if (vma->vm_flags & VM_EXEC)
27 icache_inv_range(addr, addr + PAGE_SIZE);
29 kunmap_atomic((void *) addr);