Index: kernel/arch/ia64/src/mm/page.c
===================================================================
--- kernel/arch/ia64/src/mm/page.c	(revision 482f968b8b53156bb4454e6c369c1e92dc426ea9)
+++ kernel/arch/ia64/src/mm/page.c	(revision c74b9de1187f3b60a7db1aad1e1fcd51ae134f24)
@@ -41,5 +41,4 @@
 #include <arch/mm/vhpt.h>
 #include <typedefs.h>
-#include <print.h>
 #include <mm/page.h>
 #include <mm/frame.h>
Index: kernel/arch/ia64/src/mm/tlb.c
===================================================================
--- kernel/arch/ia64/src/mm/tlb.c	(revision 482f968b8b53156bb4454e6c369c1e92dc426ea9)
+++ kernel/arch/ia64/src/mm/tlb.c	(revision c74b9de1187f3b60a7db1aad1e1fcd51ae134f24)
@@ -50,5 +50,4 @@
 #include <assert.h>
 #include <panic.h>
-#include <print.h>
 #include <arch.h>
 #include <interrupt.h>
Index: kernel/arch/ia64/src/mm/vhpt.c
===================================================================
--- kernel/arch/ia64/src/mm/vhpt.c	(revision 482f968b8b53156bb4454e6c369c1e92dc426ea9)
+++ kernel/arch/ia64/src/mm/vhpt.c	(revision c74b9de1187f3b60a7db1aad1e1fcd51ae134f24)
@@ -37,5 +37,4 @@
 #include <arch/mm/vhpt.h>
 #include <mm/frame.h>
-#include <print.h>
 
 static vhpt_entry_t *vhpt_base;