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);