Index: kernel/generic/src/ipc/irq.c
===================================================================
--- kernel/generic/src/ipc/irq.c	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/generic/src/ipc/irq.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
@@ -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 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/generic/src/ipc/sysipc.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
@@ -48,4 +48,5 @@
 #include <security/cap.h>
 #include <mm/as.h>
+#include <print.h>
 
 #define GET_CHECK_PHONE(phone,phoneid,err) { \