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