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