1 #ifndef _PPC64_TLBFLUSH_H
2 #define _PPC64_TLBFLUSH_H
7 * - flush_tlb_mm(mm) flushes the specified mm context TLB's
8 * - flush_tlb_page(vma, vmaddr) flushes one page
9 * - flush_tlb_page_nohash(vma, vmaddr) flushes one page if SW loaded TLB
10 * - flush_tlb_range(vma, start, end) flushes a range of pages
11 * - flush_tlb_kernel_range(start, end) flushes a range of kernel pages
12 * - flush_tlb_pgtables(mm, start, end) flushes a range of page tables
15 #include <linux/percpu.h>
18 #define PPC64_TLB_BATCH_NR 192
21 struct ppc64_tlb_batch
{
24 pte_t pte
[PPC64_TLB_BATCH_NR
];
25 unsigned long vaddr
[PPC64_TLB_BATCH_NR
];
28 DECLARE_PER_CPU(struct ppc64_tlb_batch
, ppc64_tlb_batch
);
30 extern void __flush_tlb_pending(struct ppc64_tlb_batch
*batch
);
32 static inline void flush_tlb_pending(void)
34 struct ppc64_tlb_batch
*batch
= &get_cpu_var(ppc64_tlb_batch
);
37 __flush_tlb_pending(batch
);
38 put_cpu_var(ppc64_tlb_batch
);
41 #define flush_tlb_mm(mm) flush_tlb_pending()
42 #define flush_tlb_page(vma, addr) flush_tlb_pending()
43 #define flush_tlb_page_nohash(vma, addr) do { } while (0)
44 #define flush_tlb_range(vma, start, end) \
45 do { (void)(start); flush_tlb_pending(); } while (0)
46 #define flush_tlb_kernel_range(start, end) flush_tlb_pending()
47 #define flush_tlb_pgtables(mm, start, end) do { } while (0)
49 extern void flush_hash_page(unsigned long va
, pte_t pte
, int local
);
50 void flush_hash_range(unsigned long number
, int local
);
52 #endif /* _PPC64_TLBFLUSH_H */