inst_delay_d      855 src/simh/sim_timer.c double inst_delay_d, inst_per_sec;
inst_delay_d      866 src/simh/sim_timer.c inst_delay_d = ((inst_per_sec*usec_delay)/1000000.0);
inst_delay_d      869 src/simh/sim_timer.c if (inst_delay_d > (double)0x7fffffff)
inst_delay_d      870 src/simh/sim_timer.c     inst_delay_d = (double)0x7fffffff;
inst_delay_d      871 src/simh/sim_timer.c inst_delay = (int32)inst_delay_d;