pt 1650 src/dps8/dps8_cpu.c void printPtid(pthread_t pt) pt 1652 src/dps8/dps8_cpu.c unsigned char *ptc = (unsigned char*)(void*)(&pt); pt 1654 src/dps8/dps8_cpu.c for (size_t i=0; i < sizeof( pt ); i++) pt 1661 src/dps8/dps8_cpu.c pthread_mach_thread_np( pt )); pt 2381 src/dps8/dps8_cpu.h void printPtid(pthread_t pt);