__vdso_clock_gettime
if (__vdso_clock_gettime != NULL && __vdso_gettc != NULL)
error = __vdso_clock_gettime(clock_id, ts);
int __vdso_clock_gettime(clockid_t clock_id, struct timespec *ts);