1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef _ASM_TLB_H 3 #define _ASM_TLB_H 4 5 #include <asm/tlbflush.h> 6 7 #ifdef CONFIG_MMU 8 extern void check_pgt_cache(void); 9 #else 10 #define check_pgt_cache() do {} while(0) 11 #endif 12 13 /* 14 * we don't need any special per-pte or per-vma handling... 15 */ 16 #define tlb_start_vma(tlb, vma) do { } while (0) 17 #define tlb_end_vma(tlb, vma) do { } while (0) 18 #define __tlb_remove_tlb_entry(tlb, ptep, address) do { } while (0) 19 20 /* 21 * .. because we flush the whole mm when it fills up 22 */ 23 #define tlb_flush(tlb) flush_tlb_mm((tlb)->mm) 24 25 #include <asm-generic/tlb.h> 26 27 #endif /* _ASM_TLB_H */ 28 29