[PATCH] ia64: desc_empty thinko/typo fix
[linux-2.6] / include / asm-arm26 / tlbflush.h
1 #ifndef __ASMARM_TLBFLUSH_H
2 #define __ASMARM_TLBFLUSH_H
3
4 /*
5  * TLB flushing:
6  *
7  *  - flush_tlb_all() flushes all processes TLBs
8  *  - flush_tlb_mm(mm) flushes the specified mm context TLB's
9  *  - flush_tlb_page(vma, vmaddr) flushes one page
10  *  - flush_tlb_range(vma, start, end) flushes a range of pages
11  */
12
13 #define flush_tlb_all()                         memc_update_all()
14 #define flush_tlb_mm(mm)                        memc_update_mm(mm)
15 #define flush_tlb_page(vma, vmaddr)             do { printk("flush_tlb_page\n");} while (0)  // IS THIS RIGHT?
16 #define flush_tlb_range(vma,start,end)          \
17                 do { memc_update_mm(vma->vm_mm); (void)(start); (void)(end); } while (0)
18 #define flush_tlb_pgtables(mm,start,end)        do { printk("flush_tlb_pgtables\n");} while (0)
19 #define flush_tlb_kernel_range(s,e)             do { printk("flush_tlb_range\n");} while (0)
20
21 /*
22  * The following handle the weird MEMC chip
23  */
24 static inline void memc_update_all(void)
25 {
26         struct task_struct *p;
27         cpu_memc_update_all(init_mm.pgd);
28         for_each_process(p) {
29                 if (!p->mm)
30                         continue;
31                 cpu_memc_update_all(p->mm->pgd);
32         }
33         processor._set_pgd(current->active_mm->pgd);
34 }
35
36 static inline void memc_update_mm(struct mm_struct *mm)
37 {
38         cpu_memc_update_all(mm->pgd);
39
40         if (mm == current->active_mm)
41                 processor._set_pgd(mm->pgd);
42 }
43
44 static inline void
45 memc_clear(struct mm_struct *mm, struct page *page)
46 {
47         cpu_memc_update_entry(mm->pgd, (unsigned long) page_address(page), 0);
48
49         if (mm == current->active_mm)
50                 processor._set_pgd(mm->pgd);
51 }
52
53 static inline void
54 memc_update_addr(struct mm_struct *mm, pte_t pte, unsigned long vaddr)
55 {
56         cpu_memc_update_entry(mm->pgd, pte_val(pte), vaddr);
57
58         if (mm == current->active_mm)
59                 processor._set_pgd(mm->pgd);
60 }
61
62 static inline void
63 update_mmu_cache(struct vm_area_struct *vma, unsigned long addr, pte_t pte)
64 {
65         struct mm_struct *mm = vma->vm_mm;
66 printk("update_mmu_cache\n");
67         memc_update_addr(mm, pte, addr);
68 }
69
70 #endif