tctime           3532 src/simh/sim_tmxr.c uint32 tctime;
tctime           3561 src/simh/sim_tmxr.c     tctime = (sim_os_msec () - lp->cnms) / 1000;
tctime           3562 src/simh/sim_tmxr.c     hr = tctime / 3600;
tctime           3563 src/simh/sim_tmxr.c     mn = (tctime / 60) % 60;
tctime           3564 src/simh/sim_tmxr.c     sc = tctime % 60;
tctime           3565 src/simh/sim_tmxr.c     if (tctime)