dumppkt           208 src/dps8/dps8_mgp.c static void dumppkt(char *hdr, word36 *buf, uint words);
dumppkt          1355 src/dps8/dps8_mgp.c           dumppkt("Write", buffer, words_processed);
dumppkt          2018 src/dps8/dps8_mgp.c       dumppkt("NCP-Read", buffer, words_processed);
dumppkt           205 src/dps8/dps8_net.c static void dumppkt(char *hdr, word36 *buf, uint words);
dumppkt          1489 src/dps8/dps8_net.c           dumppkt("Write", buffer, words_processed);
dumppkt          2138 src/dps8/dps8_net.c       dumppkt("Gateway-Read", buffer, words_processed);