1 /* SPDX-License-Identifier: GPL-2.0 */
5 #include <asm/tlbflush.h>
8 extern void check_pgt_cache(void);
10 #define check_pgt_cache() do {} while(0)
14 * we don't need any special per-pte or per-vma handling...
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)
21 * .. because we flush the whole mm when it fills up
23 #define tlb_flush(tlb) flush_tlb_mm((tlb)->mm)
25 #include <asm-generic/tlb.h>
27 #endif /* _ASM_TLB_H */