| #ifndef __ASM_TLBFLUSH_H | 
 | #define __ASM_TLBFLUSH_H | 
 |  | 
 | #include <linux/mm.h> | 
 |  | 
 | /* | 
 |  * TLB flushing: | 
 |  * | 
 |  *  - flush_tlb_all() flushes all processes TLB entries | 
 |  *  - flush_tlb_mm(mm) flushes the specified mm context TLB entries | 
 |  *  - flush_tlb_page(vma, vmaddr) flushes one page | 
 |  *  - flush_tlb_range(vma, start, end) flushes a range of pages | 
 |  *  - flush_tlb_kernel_range(start, end) flushes a range of kernel pages | 
 |  */ | 
 | extern void local_flush_tlb_all(void); | 
 | extern void local_flush_tlb_mm(struct mm_struct *mm); | 
 | extern void local_flush_tlb_range(struct vm_area_struct *vma, | 
 | 	unsigned long start, unsigned long end); | 
 | extern void local_flush_tlb_kernel_range(unsigned long start, | 
 | 	unsigned long end); | 
 | extern void local_flush_tlb_page(struct vm_area_struct *vma, | 
 | 	unsigned long page); | 
 | extern void local_flush_tlb_one(unsigned long vaddr); | 
 |  | 
 | #ifdef CONFIG_SMP | 
 |  | 
 | extern void flush_tlb_all(void); | 
 | extern void flush_tlb_mm(struct mm_struct *); | 
 | extern void flush_tlb_range(struct vm_area_struct *vma, unsigned long, | 
 | 	unsigned long); | 
 | extern void flush_tlb_kernel_range(unsigned long, unsigned long); | 
 | extern void flush_tlb_page(struct vm_area_struct *, unsigned long); | 
 | extern void flush_tlb_one(unsigned long vaddr); | 
 |  | 
 | #else /* CONFIG_SMP */ | 
 |  | 
 | #define flush_tlb_all()			local_flush_tlb_all() | 
 | #define flush_tlb_mm(mm)		local_flush_tlb_mm(mm) | 
 | #define flush_tlb_range(vma, vmaddr, end)	local_flush_tlb_range(vma, vmaddr, end) | 
 | #define flush_tlb_kernel_range(vmaddr,end) \ | 
 | 	local_flush_tlb_kernel_range(vmaddr, end) | 
 | #define flush_tlb_page(vma, page)	local_flush_tlb_page(vma, page) | 
 | #define flush_tlb_one(vaddr)		local_flush_tlb_one(vaddr) | 
 |  | 
 | #endif /* CONFIG_SMP */ | 
 |  | 
 | #endif /* __ASM_TLBFLUSH_H */ |