cpu_time         5258 src/dps8/dps8_cpu.c   struct timespec cpu_time;
cpu_time         5261 src/dps8/dps8_cpu.c     if (clock_gettime (clock_id, &cpu_time) == 0) {
cpu_time         5262 src/dps8/dps8_cpu.c       cpu_seconds = (double)cpu_time.tv_sec + cpu_time.tv_nsec / 1e9;