tctime           3438 src/simh/sim_tmxr.c uint32 tctime;
tctime           3467 src/simh/sim_tmxr.c     tctime = (sim_os_msec () - lp->cnms) / 1000;
tctime           3468 src/simh/sim_tmxr.c     hr = tctime / 3600;
tctime           3469 src/simh/sim_tmxr.c     mn = (tctime / 60) % 60;
tctime           3470 src/simh/sim_tmxr.c     sc = tctime % 60;
tctime           3471 src/simh/sim_tmxr.c     if (tctime)