UPDATE_SIM_TIME 6671 src/simh/scp.c UPDATE_SIM_TIME; /* update sim time */ UPDATE_SIM_TIME 8863 src/simh/scp.c UPDATE_SIM_TIME; /* update sim time */ UPDATE_SIM_TIME 8943 src/simh/scp.c UPDATE_SIM_TIME; /* update sim time */ UPDATE_SIM_TIME 9026 src/simh/scp.c UPDATE_SIM_TIME; /* update sim time */