Index: kernel/arch/arm32/include/mm/tlb.h
===================================================================
--- kernel/arch/arm32/include/mm/tlb.h	(revision 7d60cf59c22009459162657970aeff4fb02727ed)
+++ kernel/arch/arm32/include/mm/tlb.h	(revision 5ad8661e80323e9b4b2ccfb00b9bb2b29608d73f)
@@ -37,7 +37,4 @@
 #define KERN_arm32_TLB_H_
 
-#define tlb_arch_init()
-#define tlb_print()
-
 #endif