[PATCH] rtl8187: Add device ID for HP wireless print kit usb dongle
[linux-2.6] / include / asm-avr32 / tlbflush.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_TLBFLUSH_H
9 #define __ASM_AVR32_TLBFLUSH_H
10
11 #include <asm/mmu.h>
12
13 /*
14  * TLB flushing:
15  *
16  *  - flush_tlb() flushes the current mm struct TLBs
17  *  - flush_tlb_all() flushes all processes' TLB entries
18  *  - flush_tlb_mm(mm) flushes the specified mm context TLBs
19  *  - flush_tlb_page(vma, vmaddr) flushes one page
20  *  - flush_tlb_range(vma, start, end) flushes a range of pages
21  *  - flush_tlb_kernel_range(start, end) flushes a range of kernel pages
22  *  - flush_tlb_pgtables(mm, start, end) flushes a range of page tables
23  */
24 extern void flush_tlb(void);
25 extern void flush_tlb_all(void);
26 extern void flush_tlb_mm(struct mm_struct *mm);
27 extern void flush_tlb_range(struct vm_area_struct *vma, unsigned long start,
28                             unsigned long end);
29 extern void flush_tlb_page(struct vm_area_struct *vma, unsigned long page);
30 extern void __flush_tlb_page(unsigned long asid, unsigned long page);
31
32 static inline void flush_tlb_pgtables(struct mm_struct *mm,
33                                       unsigned long start, unsigned long end)
34 {
35         /* Nothing to do */
36 }
37
38 extern void flush_tlb_kernel_range(unsigned long start, unsigned long end);
39
40 #endif /* __ASM_AVR32_TLBFLUSH_H */