driver core: debug for bad dev_attr_show() return value.
[linux-2.6/s3c2410-cpufreq.git] / include / asm-avr32 / tlbflush.h
blob5bc7c88a5770a9c211d8aa6d32c2b04ed4186166
1 /*
2 * Copyright (C) 2004-2006 Atmel Corporation
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
11 #include <asm/mmu.h>
14 * TLB flushing:
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
23 extern void flush_tlb(void);
24 extern void flush_tlb_all(void);
25 extern void flush_tlb_mm(struct mm_struct *mm);
26 extern void flush_tlb_range(struct vm_area_struct *vma, unsigned long start,
27 unsigned long end);
28 extern void flush_tlb_page(struct vm_area_struct *vma, unsigned long page);
29 extern void __flush_tlb_page(unsigned long asid, unsigned long page);
31 extern void flush_tlb_kernel_range(unsigned long start, unsigned long end);
33 #endif /* __ASM_AVR32_TLBFLUSH_H */