fprint_stopped_gen 6792 src/simh/scp.c fprint_stopped_gen (st, v, sim_PC, sim_dflt_dev);
fprint_stopped_gen  214 src/simh/scp.h void fprint_stopped_gen (FILE *st, t_stat v, REG *pc, DEVICE *dptr);