Index: generic/include/mm/tlb.h
===================================================================
--- generic/include/mm/tlb.h	(revision f62355aea23212db577071da8a3579c9972c1a06)
+++ generic/include/mm/tlb.h	(revision b00fdde560b3ef069ecb5aed3e0f1e04f21fe28a)
@@ -45,5 +45,6 @@
 
 /* Export TLB interface that each architecture must implement. */
-extern void tlb_init_arch(void);
+extern void tlb_arch_init(void);
+extern void tlb_print(void);
 extern void tlb_invalidate(asid_t asid);
 extern void tlb_shootdown_ipi_send(void);