sim_os_ms_sleep_init  461 src/simh/sim_timer.c sim_idle_rate_ms = sim_os_ms_sleep_init ();             /* get OS timer rate */
sim_os_ms_sleep_init   72 src/simh/sim_timer.h uint32 sim_os_ms_sleep_init (void);