Index: kernel/arch/ia32/src/smp/smp.c
===================================================================
--- kernel/arch/ia32/src/smp/smp.c	(revision 65f3117b0c526538a5c5e972042a0bf4f1a325e1)
+++ kernel/arch/ia32/src/smp/smp.c	(revision 694ca3d6a8a1e66e61249ea01e128d7d66908dae)
@@ -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>