inst_delay_d      912 src/simh/sim_timer.c double inst_delay_d, inst_per_sec;
inst_delay_d      923 src/simh/sim_timer.c inst_delay_d = ((inst_per_sec*usec_delay)/1000000.0);
inst_delay_d      926 src/simh/sim_timer.c if (inst_delay_d > (double)0x7fffffff)
inst_delay_d      927 src/simh/sim_timer.c     inst_delay_d = (double)0x7fffffff;
inst_delay_d      928 src/simh/sim_timer.c inst_delay = (int32)inst_delay_d;