sim_rtcn_init     362 src/simh/sim_timer.c         sim_rtcn_init (rtc_initd[tmr], tmr);
sim_rtcn_init      62 src/simh/sim_timer.h int32 sim_rtcn_init (int32 time, int32 tmr);