inst_delay_d      900 src/simh/sim_timer.c double inst_delay_d, inst_per_sec;
inst_delay_d      911 src/simh/sim_timer.c inst_delay_d = ((inst_per_sec*usec_delay)/1000000.0);
inst_delay_d      914 src/simh/sim_timer.c if (inst_delay_d > (double)0x7fffffff)
inst_delay_d      915 src/simh/sim_timer.c     inst_delay_d = (double)0x7fffffff;
inst_delay_d      916 src/simh/sim_timer.c inst_delay = (int32)inst_delay_d;