MIN 84 src/simh/sim_defs.h # ifdef MIN MIN 59 src/simh/sim_timer.c #ifndef MIN MIN 742 src/simh/sim_timer.c sim_int_clk_tps = MIN(CLK_TPS, sim_os_tick_hz);