1 /* SPDX-License-Identifier: GPL-2.0 */ 1 2 3 #ifndef __ASM_TLBFLUSH_H 4 #define __ASM_TLBFLUSH_H 5 6 /* 7 * TLB flushing: 8 * 9 * - flush_tlb_all() flushes all processes TL 10 * - flush_tlb_mm(mm) flushes the specified m 11 * - flush_tlb_page(vma, vmaddr) flushes one 12 * - flush_tlb_range(vma, start, end) flushes 13 * - flush_tlb_kernel_range(start, end) flush 14 */ 15 extern void flush_tlb_all(void); 16 extern void flush_tlb_mm(struct mm_struct *mm) 17 extern void flush_tlb_page(struct vm_area_stru 18 extern void flush_tlb_range(struct vm_area_str 19 unsigned long end) 20 extern void flush_tlb_kernel_range(unsigned lo 21 22 extern void flush_tlb_one(unsigned long vaddr) 23 24 #endif 25
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.