tctime           3528 src/simh/sim_tmxr.c uint32 tctime;
tctime           3557 src/simh/sim_tmxr.c     tctime = (sim_os_msec () - lp->cnms) / 1000;
tctime           3558 src/simh/sim_tmxr.c     hr = tctime / 3600;
tctime           3559 src/simh/sim_tmxr.c     mn = (tctime / 60) % 60;
tctime           3560 src/simh/sim_tmxr.c     sc = tctime % 60;
tctime           3561 src/simh/sim_tmxr.c     if (tctime)