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