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