dumppkt            75 src/dps8/dps8_mgp.c static void dumppkt(char *hdr, word36 *buf, uint words);
dumppkt           524 src/dps8/dps8_mgp.c           dumppkt("Read", buffer, words_processed);
dumppkt           562 src/dps8/dps8_mgp.c       dumppkt("Write", buffer, words_processed);
dumppkt           694 src/dps8/dps8_mgp.c           dumppkt("Read", buffer, words_processed);