sim_rtcn_init_all 6400 src/simh/scp.c sim_rtcn_init_all (); /* re-init clocks */ sim_rtcn_init_all 65 src/simh/sim_timer.h void sim_rtcn_init_all (void);