fprint_set_help 5137 src/simh/scp.c fprint_set_help (st, dptr); fprint_set_help 10390 src/simh/scp.c fprint_set_help (tmp, dptr); fprint_set_help 162 src/simh/scp.h void fprint_set_help (FILE *st, DEVICE *dptr);