__local_flush_tlb_kernel_page  504 arch/arm/include/asm/tlbflush.h 	__local_flush_tlb_kernel_page(kaddr);
__local_flush_tlb_kernel_page  522 arch/arm/include/asm/tlbflush.h 	__local_flush_tlb_kernel_page(kaddr);