USB: add driver for iowarrior devices.
[pandora-kernel.git] / include / asm-avr32 / tlb.h
1 /*
2  * Copyright (C) 2004-2006 Atmel Corporation
3  *
4  * This program is free software; you can redistribute it and/or modify
5  * it under the terms of the GNU General Public License version 2 as
6  * published by the Free Software Foundation.
7  */
8 #ifndef __ASM_AVR32_TLB_H
9 #define __ASM_AVR32_TLB_H
10
11 #define tlb_start_vma(tlb, vma) \
12         flush_cache_range(vma, vma->vm_start, vma->vm_end)
13
14 #define tlb_end_vma(tlb, vma) \
15         flush_tlb_range(vma, vma->vm_start, vma->vm_end)
16
17 #define __tlb_remove_tlb_entry(tlb, pte, address) do { } while(0)
18
19 /*
20  * Flush whole TLB for MM
21  */
22 #define tlb_flush(tlb) flush_tlb_mm((tlb)->mm)
23
24 #include <asm-generic/tlb.h>
25
26 /*
27  * For debugging purposes
28  */
29 extern void show_dtlb_entry(unsigned int index);
30 extern void dump_dtlb(void);
31
32 #endif /* __ASM_AVR32_TLB_H */