sim_os_sleep_min_ms   73 src/simh/sim_timer.c static uint32 sim_os_sleep_min_ms                        = 0;
sim_os_sleep_min_ms   94 src/simh/sim_timer.c sim_os_sleep_min_ms = tim;
sim_os_sleep_min_ms   97 src/simh/sim_timer.c     tot += sim_idle_ms_sleep (sim_os_sleep_min_ms + 1);
sim_os_sleep_min_ms   99 src/simh/sim_timer.c sim_os_sleep_inc_ms = tim - sim_os_sleep_min_ms;
sim_os_sleep_min_ms  101 src/simh/sim_timer.c return sim_os_sleep_min_ms;