sim_stop_timer_services 6447 src/simh/scp.c sim_stop_timer_services ();                             /* disable wall clock timing */
sim_stop_timer_services  693 src/simh/sim_console.c             sim_stop_timer_services ();
sim_stop_timer_services  713 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);