Symbol: v4_flush_kern_tlb_range
arch/arm/mm/tlb.c
10
void v4_flush_kern_tlb_range(unsigned long, unsigned long);
arch/arm/mm/tlb.c
14
.flush_kern_range = v4_flush_kern_tlb_range,