sim_os_sleep 1726 src/simh/sim_console.c sim_os_sleep (1); /* wait 1 second */ sim_os_sleep 1783 src/simh/sim_console.c sim_os_sleep (1); /* wait 1 second */ sim_os_sleep 70 src/simh/sim_timer.h void sim_os_sleep (unsigned int sec);