Index: kernel/arch/ia64/src/cpu/cpu.c
===================================================================
--- kernel/arch/ia64/src/cpu/cpu.c	(revision bab75df6bdac0b39185034277416374a06d4b37f)
+++ kernel/arch/ia64/src/cpu/cpu.c	(revision 1170cfc70c2aa7932fed750ddf238fbb29481f55)
@@ -37,5 +37,5 @@
 #include <arch/register.h>
 #include <stdio.h>
-#include <mem.h>
+#include <memw.h>
 
 void cpu_arch_init(void)