Index: kernel/arch/ia64/src/cpu/cpu.c
===================================================================
--- kernel/arch/ia64/src/cpu/cpu.c	(revision 482f968b8b53156bb4454e6c369c1e92dc426ea9)
+++ kernel/arch/ia64/src/cpu/cpu.c	(revision bab75df6bdac0b39185034277416374a06d4b37f)
@@ -36,5 +36,5 @@
 #include <arch.h>
 #include <arch/register.h>
-#include <print.h>
+#include <stdio.h>
 #include <mem.h>
 
Index: kernel/arch/ia64/src/fpu_context.c
===================================================================
--- kernel/arch/ia64/src/fpu_context.c	(revision 482f968b8b53156bb4454e6c369c1e92dc426ea9)
+++ kernel/arch/ia64/src/fpu_context.c	(revision bab75df6bdac0b39185034277416374a06d4b37f)
@@ -36,5 +36,4 @@
 #include <fpu_context.h>
 #include <arch/register.h>
-#include <print.h>
 
 void fpu_context_save(fpu_context_t *fctx)
Index: kernel/arch/ia64/src/interrupt.c
===================================================================
--- kernel/arch/ia64/src/interrupt.c	(revision 482f968b8b53156bb4454e6c369c1e92dc426ea9)
+++ kernel/arch/ia64/src/interrupt.c	(revision bab75df6bdac0b39185034277416374a06d4b37f)
@@ -39,5 +39,5 @@
 #include <ddi/irq.h>
 #include <panic.h>
-#include <print.h>
+#include <stdio.h>
 #include <console/console.h>
 #include <typedefs.h>
@@ -47,5 +47,4 @@
 #include <arch.h>
 #include <syscall/syscall.h>
-#include <print.h>
 #include <proc/scheduler.h>
 #include <ipc/sysipc.h>
@@ -56,5 +55,4 @@
 #include <arch/mm/tlb.h>
 #include <symtab.h>
-#include <putchar.h>
 
 #define VECTORS_64_BUNDLE        20
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 bab75df6bdac0b39185034277416374a06d4b37f)
@@ -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 bab75df6bdac0b39185034277416374a06d4b37f)
@@ -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 bab75df6bdac0b39185034277416374a06d4b37f)
@@ -37,5 +37,4 @@
 #include <arch/mm/vhpt.h>
 #include <mm/frame.h>
-#include <print.h>
 
 static vhpt_entry_t *vhpt_base;