Index: kernel/arch/amd64/src/amd64.c
===================================================================
--- kernel/arch/amd64/src/amd64.c	(revision 98a935ebd156845f2511fad291365f6649289e1f)
+++ kernel/arch/amd64/src/amd64.c	(revision dc5c303e2b29ccbf0ee833267061709da23d9de6)
@@ -37,5 +37,5 @@
 #include <stdint.h>
 #include <errno.h>
-#include <mem.h>
+#include <memw.h>
 #include <interrupt.h>
 #include <console/console.h>