1 #ifndef _H8300_TLBFLUSH_H
2 #define _H8300_TLBFLUSH_H
5 * Copyright (C) 2000 Lineo, David McCullough <davidm@uclinux.org>
6 * Copyright (C) 2000-2002, Greg Ungerer <gerg@snapgear.com>
12 * flush all user-space atc entries.
14 static inline void __flush_tlb(void)
19 static inline void __flush_tlb_one(unsigned long addr)
24 #define flush_tlb() __flush_tlb()
27 * flush all atc entries (both kernel and user-space entries).
29 static inline void flush_tlb_all(void)
34 static inline void flush_tlb_mm(struct mm_struct *mm)
39 static inline void flush_tlb_page(struct vm_area_struct *vma, unsigned long addr)
44 static inline void flush_tlb_range(struct mm_struct *mm,
45 unsigned long start, unsigned long end)
50 extern inline void flush_tlb_kernel_page(unsigned long addr)
55 extern inline void flush_tlb_pgtables(struct mm_struct *mm,
56 unsigned long start, unsigned long end)
61 #endif /* _H8300_TLBFLUSH_H */