__vdso_gettc
error = __vdso_gettc(th, &tc);
if (__vdso_clock_gettime != NULL && __vdso_gettc != NULL)
int __vdso_gettc(const struct vdso_timehands *vdso_th, u_int *tc);