Symbol: __cpu_flush_kern_tlb_range
arch/arm/include/asm/tlbflush.h
227
extern void __cpu_flush_kern_tlb_range(unsigned long, unsigned long);
arch/arm/include/asm/tlbflush.h
598
#define local_flush_tlb_kernel_range(s,e) __cpu_flush_kern_tlb_range(s,e)