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