mach_thread       438 src/dps8/threadz.c   mach_port_t mach_thread = pthread_mach_thread_np(*thread);
mach_thread       444 src/dps8/threadz.c           mach_thread,
mach_thread       448 src/dps8/threadz.c   thread_resume(mach_thread);