100a9730eSGuo Ren // SPDX-License-Identifier: GPL-2.0 200a9730eSGuo Ren // Copyright (C) 2018 Hangzhou C-SKY Microsystems co.,ltd. 300a9730eSGuo Ren 400a9730eSGuo Ren #include <linux/cache.h> 500a9730eSGuo Ren #include <linux/highmem.h> 600a9730eSGuo Ren #include <linux/mm.h> 700a9730eSGuo Ren #include <asm/cache.h> 800a9730eSGuo Ren 900a9730eSGuo Ren void update_mmu_cache(struct vm_area_struct *vma, unsigned long address, 1000a9730eSGuo Ren pte_t *pte) 1100a9730eSGuo Ren { 12d936a7e7SGuo Ren unsigned long addr; 1300a9730eSGuo Ren struct page *page; 1400a9730eSGuo Ren 15d936a7e7SGuo Ren page = pfn_to_page(pte_pfn(*pte)); 16d936a7e7SGuo Ren if (page == ZERO_PAGE(0)) 1700a9730eSGuo Ren return; 1800a9730eSGuo Ren 19d936a7e7SGuo Ren if (test_and_set_bit(PG_dcache_clean, &page->flags)) 2000a9730eSGuo Ren return; 2100a9730eSGuo Ren 2200a9730eSGuo Ren addr = (unsigned long) kmap_atomic(page); 2300a9730eSGuo Ren 24d936a7e7SGuo Ren dcache_wb_range(addr, addr + PAGE_SIZE); 25d936a7e7SGuo Ren 26d936a7e7SGuo Ren if (vma->vm_flags & VM_EXEC) 27d936a7e7SGuo Ren icache_inv_range(addr, addr + PAGE_SIZE); 2800a9730eSGuo Ren 2900a9730eSGuo Ren kunmap_atomic((void *) addr); 3000a9730eSGuo Ren } 31