sysdeps/clock_gettime: Use clock_gettime64 if avaliable
authorAlistair Francis <alistair.francis@wdc.com>
Mon, 15 Jul 2019 23:30:59 +0000 (16:30 -0700)
committerAlistair Francis <alistair.francis@wdc.com>
Wed, 4 Dec 2019 17:43:40 +0000 (09:43 -0800)
commitec138c67cbda8b5826a0a2a7ba456408117996dc
tree91a3a45ded96f18ea49cde5b76bde4d219fe4436
parentf6fbce7dd72145ed9272ac8ef3ea6123c390a72b
sysdeps/clock_gettime: Use clock_gettime64 if avaliable

With the clock_gettime64 call we prefer to use vDSO. There is no call
to clock_gettime64 on glibc with older headers and kernel 5.1+ if it
doesn't support vDSO.

Reviewed-by: Adhemerval Zanella <adhemerval.zanella@linaro.org>
include/time.h
sysdeps/unix/sysv/linux/clock_gettime.c