diff --git a/arch/arm64/kernel/vdso/gettimeofday.c b/arch/arm64/kernel/vdso/gettimeofday.c
index d1418b27..d6616024 100644
--- a/arch/arm64/kernel/vdso/gettimeofday.c
+++ b/arch/arm64/kernel/vdso/gettimeofday.c
@@ -1,5 +1,7 @@
 /* gettimeofday.c COPYRIGHT FUJITSU LIMITED 2016 */
 
+#include <affinity.h>
+#include <arch-memory.h>
 #include <time.h>
 #include <syscall.h>
 #include <registers.h>