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