pthread           356 src/dps8/threadz.c rtsched_thread(pthread_t pthread)
pthread           374 src/dps8/threadz.c   mach_port_t target_thread = pthread_mach_thread_np(pthread);
pthread           139 src/dps8/threadz.h int rtsched_thread(pthread_t pthread);