read_full         749 src/dps8/dps8_mgp.c   r = read_full(mgp_dev_state.ncp_socket, hdr, NCP_FRAME_HEADER_SIZE);
read_full         786 src/dps8/dps8_mgp.c   r = read_full(mgp_dev_state.ncp_socket, pkt8, (size_t)pktlen);