1 /* SPDX-License-Identifier: GPL-2.0 */ 2 3 #ifndef __ASM_CSKY_TLB_H 4 #define __ASM_CSKY_TLB_H 5 6 #include <asm/cacheflush.h> 7 8 #define tlb_start_vma(tlb, vma) \ 9 do { \ 10 if (!(tlb)->fullmm) \ 11 flush_cache_range(vma, (vma)->vm_start, (vma)->vm_end); \ 12 } while (0) 13 14 #define tlb_end_vma(tlb, vma) \ 15 do { \ 16 if (!(tlb)->fullmm) \ 17 flush_tlb_range(vma, (vma)->vm_start, (vma)->vm_end); \ 18 } while (0) 19 20 #define tlb_flush(tlb) flush_tlb_mm((tlb)->mm) 21 22 #include <asm-generic/tlb.h> 23 24 #endif /* __ASM_CSKY_TLB_H */ 25