sim_int_clk_tps   759 src/simh/sim_timer.c static int32 sim_int_clk_tps;
sim_int_clk_tps   763 src/simh/sim_timer.c sim_rtcn_calb (sim_int_clk_tps, SIM_INTERNAL_CLK);
sim_int_clk_tps   764 src/simh/sim_timer.c sim_activate_after (uptr, 1000000/sim_int_clk_tps);     /* reactivate unit */
sim_int_clk_tps   773 src/simh/sim_timer.c sim_int_clk_tps = MIN(CLK_TPS, sim_os_tick_hz);
sim_int_clk_tps   783 src/simh/sim_timer.c         sim_debug (DBG_CAL, &sim_timer_dev, "_rtcn_configure_calibrated_clock() - Starting Internal Calibrated Timer at %dHz\n", sim_int_clk_tps);
sim_int_clk_tps   787 src/simh/sim_timer.c         sim_rtcn_init_unit (&SIM_INTERNAL_UNIT, (CLK_INIT*CLK_TPS)/sim_int_clk_tps, SIM_INTERNAL_CLK);
sim_int_clk_tps   874 src/simh/sim_timer.c     inst_per_sec = ((double)rtc_currd[sim_calb_tmr])*sim_int_clk_tps;