Index: kernel/arch/ia32/include/mm/tlb.h
===================================================================
--- kernel/arch/ia32/include/mm/tlb.h	(revision ae318d3535cba06a6996f270db31a961fae402ad)
+++ kernel/arch/ia32/include/mm/tlb.h	(revision 9646159109db804ee73ff4a9fc8359fb3318c3d2)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32mm	
+/** @addtogroup ia32mm
  * @{
  */
@@ -36,7 +36,4 @@
 #define KERN_ia32_TLB_H_
 
-#define tlb_arch_init()
-#define tlb_print()
-
 #endif