__c_kernel_clock_gettime
int __c_kernel_clock_gettime(clockid_t clock, struct old_timespec32 *ts,
int __c_kernel_clock_gettime(clockid_t clock, struct __kernel_timespec *ts,