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) {