sim_os_sleep_min_ms   77 src/simh/sim_timer.c static uint32 sim_os_sleep_min_ms                        = 0;
sim_os_sleep_min_ms   98 src/simh/sim_timer.c sim_os_sleep_min_ms = tim;
sim_os_sleep_min_ms  101 src/simh/sim_timer.c     tot += sim_idle_ms_sleep (sim_os_sleep_min_ms + 1);
sim_os_sleep_min_ms  103 src/simh/sim_timer.c sim_os_sleep_inc_ms = tim - sim_os_sleep_min_ms;
sim_os_sleep_min_ms  105 src/simh/sim_timer.c return sim_os_sleep_min_ms;