UPDATE_SIM_TIME 5930 src/simh/scp.c UPDATE_SIM_TIME; /* update sim time */ UPDATE_SIM_TIME 8121 src/simh/scp.c UPDATE_SIM_TIME; /* update sim time */ UPDATE_SIM_TIME 8191 src/simh/scp.c UPDATE_SIM_TIME; /* update sim time */ UPDATE_SIM_TIME 8271 src/simh/scp.c UPDATE_SIM_TIME; /* update sim time */