__CLOCK_PTID
q = tfind_user(__CLOCK_PTID(clock_id), p->p_p);
if (__CLOCK_PTID(clockid) != 0)
printf("(%d)", __CLOCK_PTID(clockid));