dumppkt            74 src/dps8/dps8_mgp.c static void dumppkt(char *hdr, word36 *buf, uint words);
dumppkt           523 src/dps8/dps8_mgp.c           dumppkt("Read", buffer, words_processed);
dumppkt           561 src/dps8/dps8_mgp.c       dumppkt("Write", buffer, words_processed);
dumppkt           693 src/dps8/dps8_mgp.c           dumppkt("Read", buffer, words_processed);