Index: kernel/arch/ia64/include/mm/tlb.h
===================================================================
--- kernel/arch/ia64/include/mm/tlb.h	(revision 91825d906871fb7aacdd0e8161dca09a9de0ef6e)
+++ kernel/arch/ia64/include/mm/tlb.h	(revision 00eace30da787ce4c1daedfb63575ce441cf65d9)
@@ -35,7 +35,4 @@
 #ifndef KERN_ia64_TLB_H_
 #define KERN_ia64_TLB_H_
-
-#define tlb_arch_init()
-#define tlb_print()
 
 #include <arch/mm/page.h>