Index: kernel/generic/src/ipc/irq.c
===================================================================
--- kernel/generic/src/ipc/irq.c	(revision e2bf6397425bb03f552f342e22cf4d105a242516)
+++ kernel/generic/src/ipc/irq.c	(revision 253f35a1d714bef0e93e4a79768b7342ccc84123)
@@ -56,4 +56,5 @@
 #include <syscall/copy.h>
 #include <console/console.h>
+#include <print.h>
 
 typedef struct {
@@ -68,5 +69,5 @@
 static int irq_conns_size;
 
-#include <print.h>
+
 /* Execute code associated with IRQ notification */
 static void code_execute(call_t *call, irq_code_t *code)
Index: kernel/generic/src/ipc/sysipc.c
===================================================================
--- kernel/generic/src/ipc/sysipc.c	(revision e2bf6397425bb03f552f342e22cf4d105a242516)
+++ kernel/generic/src/ipc/sysipc.c	(revision 253f35a1d714bef0e93e4a79768b7342ccc84123)
@@ -48,4 +48,5 @@
 #include <security/cap.h>
 #include <mm/as.h>
+#include <print.h>
 
 #define GET_CHECK_PHONE(phone,phoneid,err) { \