From 61a942acdc1295c99b6ea99466f4f3a4e7c7037e Mon Sep 17 00:00:00 2001
From: Dominique Martinet <dominique.martinet@cea.fr>
Date: Fri, 27 Jul 2018 14:52:52 +0900
Subject: [PATCH] arm64 vdso/gettimeofday: add new includes for cpu_set_t and
 pte_t

Change-Id: I4035b179a173a6b29c34c73670d68a38d4dc5dc4
---
 arch/arm64/kernel/vdso/gettimeofday.c | 2 ++
 1 file changed, 2 insertions(+)

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>