clock_id         5259 src/dps8/dps8_cpu.c   clockid_t clock_id;
clock_id         5260 src/dps8/dps8_cpu.c   if (pthread_getcpuclockid (cpus[cpuNo].thread_id, &clock_id) == 0) {
clock_id         5261 src/dps8/dps8_cpu.c     if (clock_gettime (clock_id, &cpu_time) == 0) {