sim_timer_dev     344 src/simh/sim_timer.c extern DEVICE sim_timer_dev;
sim_timer_dev     381 src/simh/sim_timer.c sim_debug (DBG_CAL, &sim_timer_dev, "_sim_rtcn_init_unit(unit=%s, time=%d, tmr=%d)\n", sim_uname(uptr), time, tmr);
sim_timer_dev     445 src/simh/sim_timer.c sim_debug (DBG_TRC, &sim_timer_dev, "sim_timer_init()\n");
sim_timer_dev     451 src/simh/sim_timer.c sim_register_internal_device (&sim_timer_dev);
sim_timer_dev     611 src/simh/sim_timer.c DEVICE sim_timer_dev = {
sim_timer_dev     752 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_timer_dev     764 src/simh/sim_timer.c     sim_debug (DBG_CAL, &sim_timer_dev, "_rtcn_configure_calibrated_clock() - Stopping Internal Calibrated Timer, New Timer = %d (%dHz)\n", tmr, rtc_hz[tmr]);
sim_timer_dev     776 src/simh/sim_timer.c     sim_debug (DBG_CAL, &sim_timer_dev, "_rtcn_configure_calibrated_clock() - Changing Calibrated Timer from %d (%dHz) to %d (%dHz)\n", sim_calb_tmr, rtc_hz[sim_calb_tmr], tmr, rtc_hz[tmr]);
sim_timer_dev     784 src/simh/sim_timer.c sim_debug (DBG_TRC, &sim_timer_dev, "sim_timer_clock_reset()\n");
sim_timer_dev     795 src/simh/sim_timer.c sim_debug (DBG_TRC, &sim_timer_dev, "sim_start_timer_services()\n");
sim_timer_dev     803 src/simh/sim_timer.c sim_debug (DBG_TRC, &sim_timer_dev, "sim_stop_timer_services()\n");
sim_timer_dev     874 src/simh/sim_timer.c sim_debug (DBG_TIM, &sim_timer_dev, "sim_timer_activate_after() - queue addition %s at %d (%d usecs)\n",
sim_timer_dev     929 src/simh/sim_timer.c             sim_debug (SIM_DBG_EVENT, &sim_timer_dev, "Canceled Clock Coscheduled Event for %s\n", sim_uname(uptr));
sim_timer_dev      83 src/simh/sim_timer.h extern DEVICE sim_timer_dev;