linux: Enable vDSO clock_gettime64 for mips
authorAdhemerval Zanella <adhemerval.zanella@linaro.org>
Wed, 11 Dec 2019 14:19:41 +0000 (11:19 -0300)
committerAdhemerval Zanella <adhemerval.zanella@linaro.org>
Fri, 3 Jan 2020 14:22:07 +0000 (11:22 -0300)
commitcdae973b6a7eb95b1caf1e1ecfc93de720ac6b44
tree51ae8f37a6781105ab0a66bc00243340741af96e
parent93e4db49b424fefd38db6459baa2cc258f4e89b9
linux: Enable vDSO clock_gettime64 for mips

It was added on Linux 5.4 (commit 1f66c45db3302).

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