arm64 vdso/gettimeofday: add new includes for cpu_set_t and pte_t

Change-Id: I4035b179a173a6b29c34c73670d68a38d4dc5dc4
This commit is contained in:
Dominique Martinet
2018-07-27 14:52:52 +09:00
committed by Dominique Martinet
parent c4b4b7222e
commit 61a942acdc

View File

@ -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>