Index: kernel/arch/arm32/include/mm/tlb.h
===================================================================
--- kernel/arch/arm32/include/mm/tlb.h	(revision ae318d3535cba06a6996f270db31a961fae402ad)
+++ 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