__cvdso_clock_gettime32
return __cvdso_clock_gettime32(clock, ts);
return __cvdso_clock_gettime32(clock, ts);
return __cvdso_clock_gettime32(clock, ts);
return __cvdso_clock_gettime32(clock, ts);