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);