Symbol: __CLOCK_PTID
sys/kern/kern_time.c
147
q = tfind_user(__CLOCK_PTID(clock_id), p->p_p);
sys/kern/kern_time.c
253
q = tfind_user(__CLOCK_PTID(clock_id), p->p_p);
usr.bin/kdump/kdump.c
1766
if (__CLOCK_PTID(clockid) != 0)
usr.bin/kdump/kdump.c
1767
printf("(%d)", __CLOCK_PTID(clockid));