Index: kernel/generic/src/ddi/ddi.c
===================================================================
--- kernel/generic/src/ddi/ddi.c	(revision 61eb2ce2769cc7e957b2ee93ca59919d895a7999)
+++ kernel/generic/src/ddi/ddi.c	(revision fa942bc9c6581aa84672cd07f110897ad1defeca)
@@ -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 fa942bc9c6581aa84672cd07f110897ad1defeca)
@@ -47,5 +47,5 @@
 #include <console/console.h>
 #include <interrupt.h>
-#include <mem.h>
+#include <memw.h>
 #include <arch.h>