saved_deb_basetime 1417 src/simh/sim_console.c struct timespec saved_deb_basetime = sim_deb_basetime;
saved_deb_basetime 1434 src/simh/sim_console.c sim_deb_basetime = saved_deb_basetime;