sim_stop_timer_services 5901 src/simh/scp.c sim_stop_timer_services ();                             /* disable wall clock timing */
sim_stop_timer_services  682 src/simh/sim_console.c             sim_stop_timer_services ();
sim_stop_timer_services  702 src/simh/sim_console.c                 sim_stop_timer_services ();
sim_stop_timer_services   74 src/simh/sim_timer.h void sim_stop_timer_services (void);