__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);