root/arch/arm64/include/asm/vdso/

[..]
  1. compat_barrier.h
  2. compat_gettimeofday.h
  3. gettimeofday.h
  4. vsyscall.h
[..]