Index: kernel/arch/ia64/src/cpu/cpu.c
===================================================================
--- kernel/arch/ia64/src/cpu/cpu.c	(revision 6ab8697dc506650b8712d1dc5e817cc473bf170a)
+++ kernel/arch/ia64/src/cpu/cpu.c	(revision e15e0e8bcc3e3f28628a17ecc49ae0d7e5c356f8)
@@ -37,4 +37,5 @@
 #include <arch/register.h>
 #include <print.h>
+#include <memstr.h>
 
 void cpu_arch_init(void)