fprint_set_help  5822 src/simh/scp.c fprint_set_help (st, dptr);
fprint_set_help  11144 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);