dumppkt            70 src/dps8/dps8_mgp.c static void dumppkt(char *hdr, word36 *buf, uint words);
dumppkt           519 src/dps8/dps8_mgp.c           dumppkt("Read", buffer, words_processed);
dumppkt           557 src/dps8/dps8_mgp.c       dumppkt("Write", buffer, words_processed);
dumppkt           689 src/dps8/dps8_mgp.c           dumppkt("Read", buffer, words_processed);