14 #include <asm/tlbflush.h>
27 static inline void ipi_flush_tlb_all(
void *
ignored)
32 static inline void ipi_flush_tlb_mm(
void *
arg)
39 static inline void ipi_flush_tlb_page(
void *
arg)
46 static inline void ipi_flush_tlb_kernel_page(
void *
arg)
50 local_flush_tlb_kernel_page(ta->
ta_start);
53 static inline void ipi_flush_tlb_range(
void *
arg)
60 static inline void ipi_flush_tlb_kernel_range(
void *
arg)
69 if (tlb_ops_need_broadcast())
77 if (tlb_ops_need_broadcast())
85 if (tlb_ops_need_broadcast()) {
97 if (tlb_ops_need_broadcast()) {
102 local_flush_tlb_kernel_page(kaddr);
106 unsigned long start,
unsigned long end)
108 if (tlb_ops_need_broadcast()) {
121 if (tlb_ops_need_broadcast()) {