Index: kernel/arch/ia64/src/cpu/cpu.c
===================================================================
--- kernel/arch/ia64/src/cpu/cpu.c	(revision 28a5ebdea900783081bd23e40f685b6b0479c63d)
+++ kernel/arch/ia64/src/cpu/cpu.c	(revision 3e05a6914c2f7b39feb950dafa664c07aadc5ff1)
@@ -37,5 +37,5 @@
 #include <arch/register.h>
 #include <stdio.h>
-#include <mem.h>
+#include <memw.h>
 
 void cpu_arch_init(void)
Index: kernel/arch/ia64/src/mm/vhpt.c
===================================================================
--- kernel/arch/ia64/src/mm/vhpt.c	(revision 28a5ebdea900783081bd23e40f685b6b0479c63d)
+++ kernel/arch/ia64/src/mm/vhpt.c	(revision 3e05a6914c2f7b39feb950dafa664c07aadc5ff1)
@@ -33,5 +33,5 @@
  */
 
-#include <mem.h>
+#include <memw.h>
 #include <arch/barrier.h>
 #include <arch/mm/vhpt.h>