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