Index: generic/src/mm/tlb.c
===================================================================
--- generic/src/mm/tlb.c	(revision b87f41860c88213bb9dc599f59adedde6615550b)
+++ generic/src/mm/tlb.c	(revision fcfac420803a43318bce80248d718b848e2bcaa3)
@@ -46,5 +46,5 @@
 		spinlock_initialize(&tlblock, "tlb_lock");
 
-	tlb_init_arch();
+	tlb_arch_init();
 }