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