| * Copyright (C) 2004-2006 Atmel Corporation |
| * This program is free software; you can redistribute it and/or modify |
| * it under the terms of the GNU General Public License version 2 as |
| * published by the Free Software Foundation. |
| #ifndef __ASM_AVR32_TLB_H |
| #define __ASM_AVR32_TLB_H |
| #define tlb_start_vma(tlb, vma) \ |
| flush_cache_range(vma, vma->vm_start, vma->vm_end) |
| #define tlb_end_vma(tlb, vma) \ |
| flush_tlb_range(vma, vma->vm_start, vma->vm_end) |
| #define __tlb_remove_tlb_entry(tlb, pte, address) do { } while(0) |
| #define tlb_flush(tlb) flush_tlb_mm((tlb)->mm) |
| #include <asm-generic/tlb.h> |
| extern void show_dtlb_entry(unsigned int index); |
| extern void dump_dtlb(void); |
| #endif /* __ASM_AVR32_TLB_H */ |