saved_deb_basetime 1416 src/simh/sim_console.c struct timespec saved_deb_basetime = sim_deb_basetime;
saved_deb_basetime 1433 src/simh/sim_console.c sim_deb_basetime = saved_deb_basetime;