stime             207 src/simh/sim_timer.c uint32 stime = sim_os_msec();
stime             210 src/simh/sim_timer.c return sim_os_msec () - stime;
stime             263 src/simh/sim_timer.c uint32 stime = sim_os_msec ();
stime             269 src/simh/sim_timer.c return sim_os_msec () - stime;