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