1 /* SPDX-License-Identifier: GPL-2.0 */
2 // Copyright (C) 2018 Hangzhou C-SKY Microsystems co.,ltd.
4 #ifndef __ASM_CSKY_TLB_H
5 #define __ASM_CSKY_TLB_H
7 #include <asm/cacheflush.h>
9 #define tlb_start_vma(tlb, vma) \
12 flush_cache_range(vma, (vma)->vm_start, (vma)->vm_end); \
15 #define tlb_end_vma(tlb, vma) \
18 flush_tlb_range(vma, (vma)->vm_start, (vma)->vm_end); \
21 #define tlb_flush(tlb) flush_tlb_mm((tlb)->mm)
23 #include <asm-generic/tlb.h>
25 #endif /* __ASM_CSKY_TLB_H */