Index: kernel/arch/ia32/src/ia32.c
===================================================================
--- kernel/arch/ia32/src/ia32.c	(revision c89ae2562f477e91a8041f1bdff7ef9c6bec68b8)
+++ kernel/arch/ia32/src/ia32.c	(revision 44e85413b5db9e8d690890c835ecbdf8ec078d8e)
@@ -39,5 +39,5 @@
 #include <stdint.h>
 #include <errno.h>
-#include <mem.h>
+#include <memw.h>
 #include <interrupt.h>
 #include <console/console.h>
Index: kernel/arch/ia32/src/pm.c
===================================================================
--- kernel/arch/ia32/src/pm.c	(revision c89ae2562f477e91a8041f1bdff7ef9c6bec68b8)
+++ kernel/arch/ia32/src/pm.c	(revision 44e85413b5db9e8d690890c835ecbdf8ec078d8e)
@@ -44,5 +44,5 @@
 #include <mm/frame.h>
 #include <stdlib.h>
-#include <mem.h>
+#include <memw.h>
 #include <arch/boot/boot.h>
 #include <interrupt.h>
Index: kernel/arch/ia32/src/smp/smp.c
===================================================================
--- kernel/arch/ia32/src/smp/smp.c	(revision c89ae2562f477e91a8041f1bdff7ef9c6bec68b8)
+++ kernel/arch/ia32/src/smp/smp.c	(revision 44e85413b5db9e8d690890c835ecbdf8ec078d8e)
@@ -54,5 +54,5 @@
 #include <mm/as.h>
 #include <log.h>
-#include <mem.h>
+#include <memw.h>
 #include <genarch/drivers/i8259/i8259.h>
 #include <cpu.h>