Index: kernel/genarch/src/acpi/acpi.c
===================================================================
--- kernel/genarch/src/acpi/acpi.c	(revision 780edc78a2492e4f66ac0e3dc720c7427eb12b9f)
+++ kernel/genarch/src/acpi/acpi.c	(revision 40eab9fdcc5233a31ae07d23360a0b5fc2e5c701)
@@ -43,5 +43,5 @@
 #include <mm/km.h>
 #include <log.h>
-#include <mem.h>
+#include <memw.h>
 
 #define RSDP_SIGNATURE      "RSD PTR "