| #ifndef _H8300_TLBFLUSH_H |
| #define _H8300_TLBFLUSH_H |
| * Copyright (C) 2000 Lineo, David McCullough <davidm@uclinux.org> |
| * Copyright (C) 2000-2002, Greg Ungerer <gerg@snapgear.com> |
| * flush all user-space atc entries. |
| static inline void __flush_tlb(void) |
| static inline void __flush_tlb_one(unsigned long addr) |
| #define flush_tlb() __flush_tlb() |
| * flush all atc entries (both kernel and user-space entries). |
| static inline void flush_tlb_all(void) |
| static inline void flush_tlb_mm(struct mm_struct *mm) |
| static inline void flush_tlb_page(struct vm_area_struct *vma, unsigned long addr) |
| static inline void flush_tlb_range(struct mm_struct *mm, |
| unsigned long start, unsigned long end) |
| static inline void flush_tlb_kernel_page(unsigned long addr) |
| static inline void flush_tlb_pgtables(struct mm_struct *mm, |
| unsigned long start, unsigned long end) |
| #endif /* _H8300_TLBFLUSH_H */ |