flush_tlb_kernel_range
static inline void flush_tlb_kernel_range(unsigned long start,
#define flush_tlb_kernel_range(s, e) local_flush_tlb_kernel_range(s, e)
void flush_tlb_kernel_range(unsigned long start, unsigned long end)
#define flush_tlb_kernel_range local_flush_tlb_kernel_range
void flush_tlb_kernel_range(unsigned long start, unsigned long end)
static inline void flush_tlb_kernel_range(unsigned long start, unsigned long end)
void flush_tlb_kernel_range(unsigned long start, unsigned long end)
void flush_tlb_kernel_range(unsigned long start, unsigned long end)
#define flush_tlb_kernel_range(vmaddr, end) local_flush_tlb_kernel_range(vmaddr, end)
void flush_tlb_kernel_range(unsigned long start, unsigned long end)
static inline void flush_tlb_kernel_range(unsigned long start, unsigned long end)
static inline void flush_tlb_kernel_range(unsigned long start, unsigned long end)
#define flush_tlb_kernel_range(start, end) do { } while (0)
#define flush_tlb_kernel_range(vmaddr,end) \
void flush_tlb_kernel_range(unsigned long start, unsigned long end)
void flush_tlb_kernel_range(unsigned long start, unsigned long end)
static inline void flush_tlb_kernel_range(unsigned long start,
#define flush_tlb_kernel_range(start, end) \
static inline void flush_tlb_kernel_range(unsigned long start, unsigned long end)
static inline void flush_tlb_kernel_range(unsigned long start,
static inline void flush_tlb_kernel_range(unsigned long start, unsigned long end)
void flush_tlb_kernel_range(unsigned long start, unsigned long end)
void flush_tlb_kernel_range(unsigned long start, unsigned long end)
static inline void flush_tlb_kernel_range(unsigned long start,
#define flush_tlb_kernel_range(start, end) \
void flush_tlb_kernel_range(unsigned long start, unsigned long end)
static inline void flush_tlb_kernel_range(unsigned long start,
void flush_tlb_kernel_range(unsigned long start, unsigned long end)
static inline void flush_tlb_kernel_range(unsigned long start,
void flush_tlb_kernel_range(unsigned long start, unsigned long end)
#define flush_tlb_kernel_range(start, end) local_flush_tlb_kernel_range(start, \
void flush_tlb_kernel_range(unsigned long start, unsigned long end)