Index: kernel/generic/src/ddi/ddi.c
===================================================================
--- kernel/generic/src/ddi/ddi.c	(revision 61eb2ce2769cc7e957b2ee93ca59919d895a7999)
+++ kernel/generic/src/ddi/ddi.c	(revision 1170cfc70c2aa7932fed750ddf238fbb29481f55)
@@ -54,5 +54,5 @@
 #include <align.h>
 #include <errno.h>
-#include <mem.h>
+#include <memw.h>
 #include <trace.h>
 #include <bitops.h>
Index: kernel/generic/src/ddi/irq.c
===================================================================
--- kernel/generic/src/ddi/irq.c	(revision 61eb2ce2769cc7e957b2ee93ca59919d895a7999)
+++ kernel/generic/src/ddi/irq.c	(revision 1170cfc70c2aa7932fed750ddf238fbb29481f55)
@@ -47,5 +47,5 @@
 #include <console/console.h>
 #include <interrupt.h>
-#include <mem.h>
+#include <memw.h>
 #include <arch.h>