rtsched_thread 537 src/dps8/threadz.c if (rtsched_thread(p->cpuThread) != 0) rtsched_thread 139 src/dps8/threadz.h int rtsched_thread(pthread_t pthread);