#include "pthread_impl.h" int pthread_getcpuclockid(pthread_t t, clockid_t *clockid) { *clockid = (-t->tid-1)*8U + 6; return 0; }