mach_thread       376 src/dps8/threadz.c   mach_port_t mach_thread = pthread_mach_thread_np(*thread);
mach_thread       382 src/dps8/threadz.c           mach_thread,
mach_thread       386 src/dps8/threadz.c   thread_resume(mach_thread);