__cvdso_clock_gettime_common
ok = __cvdso_clock_gettime_common(vd, clock, ts);
ok = __cvdso_clock_gettime_common(vd, clock, &ts);