flush_kern_range  209 arch/arm/include/asm/tlbflush.h 	void (*flush_kern_range)(unsigned long, unsigned long);
flush_kern_range  219 arch/arm/include/asm/tlbflush.h #define __cpu_flush_kern_tlb_range	cpu_tlb.flush_kern_range