tctime           3537 src/simh/sim_tmxr.c uint32 tctime;
tctime           3566 src/simh/sim_tmxr.c     tctime = (sim_os_msec () - lp->cnms) / 1000;
tctime           3567 src/simh/sim_tmxr.c     hr = tctime / 3600;
tctime           3568 src/simh/sim_tmxr.c     mn = (tctime / 60) % 60;
tctime           3569 src/simh/sim_tmxr.c     sc = tctime % 60;
tctime           3570 src/simh/sim_tmxr.c     if (tctime)