dumppkt           178 src/dps8/dps8_mgp.c static void dumppkt(char *hdr, word36 *buf, uint words);
dumppkt          1218 src/dps8/dps8_mgp.c           dumppkt("Write", buffer, words_processed);
dumppkt          1755 src/dps8/dps8_mgp.c       dumppkt("NCP-Read", buffer, words_processed);
dumppkt           175 src/dps8/dps8_net.c static void dumppkt(char *hdr, word36 *buf, uint words);
dumppkt          1339 src/dps8/dps8_net.c           dumppkt("Write", buffer, words_processed);
dumppkt          1852 src/dps8/dps8_net.c       dumppkt("Gateway-Read", buffer, words_processed);