Index: kernel/arch/ia32/src/pm.c
===================================================================
--- kernel/arch/ia32/src/pm.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
+++ kernel/arch/ia32/src/pm.c	(revision dc5c303e2b29ccbf0ee833267061709da23d9de6)
@@ -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>
