linux: Enable vDSO clock_gettime64 for arm
authorAdhemerval Zanella <adhemerval.zanella@linaro.org>
Wed, 11 Dec 2019 14:17:12 +0000 (11:17 -0300)
committerAdhemerval Zanella <adhemerval.zanella@linaro.org>
Fri, 3 Jan 2020 14:22:07 +0000 (11:22 -0300)
It was added on Linux 5.5 (commit 74d06efb9c2f9).

Reviewed-by: Siddhesh Poyarekar <siddhesh@sourceware.org>
sysdeps/unix/sysv/linux/arm/sysdep.h

index 2304dad..0c5f498 100644 (file)
@@ -389,6 +389,7 @@ __local_syscall_error:                                              \
 
 /* List of system calls which are supported as vsyscalls.  */
 #define HAVE_CLOCK_GETTIME_VSYSCALL    "__vdso_clock_gettime"
+#define HAVE_CLOCK_GETTIME64_VSYSCALL  "__vdso_clock_gettime64"
 #define HAVE_GETTIMEOFDAY_VSYSCALL     "__vdso_gettimeofday"
 
 #define LOAD_ARGS_0()