fprint_reg_help  11196 src/simh/scp.c       fprint_reg_help (tmp, dptr) ;
fprint_reg_help   163 src/simh/scp.h void fprint_reg_help (FILE *st, DEVICE *dptr);