Index: kernel/generic/src/ipc/ipc.c
===================================================================
--- kernel/generic/src/ipc/ipc.c	(revision 167616c1515dbd62bb4b8129641fdcba5f967ad5)
+++ kernel/generic/src/ipc/ipc.c	(revision 279188c06352e8625cf73d1e32e3d8f3758aa8d1)
@@ -55,5 +55,5 @@
 #include <proc/task.h>
 #include <mem.h>
-#include <print.h>
+#include <stdio.h>
 #include <console/console.h>
 #include <proc/thread.h>
Index: kernel/generic/src/ipc/irq.c
===================================================================
--- kernel/generic/src/ipc/irq.c	(revision 167616c1515dbd62bb4b8129641fdcba5f967ad5)
+++ kernel/generic/src/ipc/irq.c	(revision 279188c06352e8625cf73d1e32e3d8f3758aa8d1)
@@ -64,5 +64,4 @@
 #include <syscall/copy.h>
 #include <console/console.h>
-#include <print.h>
 #include <macros.h>
 #include <cap/cap.h>
Index: kernel/generic/src/ipc/kbox.c
===================================================================
--- kernel/generic/src/ipc/kbox.c	(revision 167616c1515dbd62bb4b8129641fdcba5f967ad5)
+++ kernel/generic/src/ipc/kbox.c	(revision 279188c06352e8625cf73d1e32e3d8f3758aa8d1)
@@ -43,5 +43,4 @@
 #include <udebug/udebug_ipc.h>
 #include <ipc/kbox.h>
-#include <print.h>
 #include <proc/thread.h>
 
Index: kernel/generic/src/ipc/sysipc.c
===================================================================
--- kernel/generic/src/ipc/sysipc.c	(revision 167616c1515dbd62bb4b8129641fdcba5f967ad5)
+++ kernel/generic/src/ipc/sysipc.c	(revision 279188c06352e8625cf73d1e32e3d8f3758aa8d1)
@@ -51,5 +51,4 @@
 #include <security/perm.h>
 #include <console/console.h>
-#include <print.h>
 #include <macros.h>
 #include <cap/cap.h>