UPDATE_SIM_TIME 6684 src/simh/scp.c UPDATE_SIM_TIME; /* update sim time */ UPDATE_SIM_TIME 8876 src/simh/scp.c UPDATE_SIM_TIME; /* update sim time */ UPDATE_SIM_TIME 8956 src/simh/scp.c UPDATE_SIM_TIME; /* update sim time */ UPDATE_SIM_TIME 9039 src/simh/scp.c UPDATE_SIM_TIME; /* update sim time */