[PATCH 14/16] linux: Enable vDSO clock_gettime64 for mips

[Florian Weimer]

* Adhemerval Zanella:

> +#if _MIPS_SIM != _ABI64
> +#define HAVE_CLOCK_GETTIME64_VSYSCALL   "__vdso_clock_gettime64"
> +#endif

I think we typically write “# define” in this situation.

I can't comment on the MIPS content of this patch.

Thanks,
Florian