inst_delay_d      886 src/simh/sim_timer.c double inst_delay_d, inst_per_sec;
inst_delay_d      897 src/simh/sim_timer.c inst_delay_d = ((inst_per_sec*usec_delay)/1000000.0);
inst_delay_d      900 src/simh/sim_timer.c if (inst_delay_d > (double)0x7fffffff)
inst_delay_d      901 src/simh/sim_timer.c     inst_delay_d = (double)0x7fffffff;
inst_delay_d      902 src/simh/sim_timer.c inst_delay = (int32)inst_delay_d;