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);
Index: generic/src/mm/tlb.c
===================================================================
--- generic/src/mm/tlb.c	(revision f62355aea23212db577071da8a3579c9972c1a06)
+++ generic/src/mm/tlb.c	(revision b00fdde560b3ef069ecb5aed3e0f1e04f21fe28a)
@@ -46,5 +46,5 @@
 		spinlock_initialize(&tlblock, "tlb_lock");
 
-	tlb_init_arch();
+	tlb_arch_init();
 }