seconds 9151 src/dps8/dps8_ins.c uint64_t seconds = delta / ns_sec; seconds 9165 src/dps8/dps8_ins.c (unsigned long long) seconds, seconds 8030 src/simh/scp.c const char *sim_fmt_secs (double seconds) seconds 8035 src/simh/scp.c double val = seconds; seconds 158 src/simh/scp.h const char *sim_fmt_secs (double seconds);