read_buffer_sz     83 src/dps8/dps8_socket_dev.c          uint read_buffer_sz;
read_buffer_sz    723 src/dps8/dps8_socket_dev.c     sk_data.unit_data[unit_idx][dev_code].read_buffer_sz = count;
read_buffer_sz   1190 src/dps8/dps8_socket_dev.c     uint count           = sk_data.unit_data[unit_idx][dev_code].read_buffer_sz;
read_buffer_sz   1207 src/dps8/dps8_socket_dev.c     buffer[1] = ((word36) (sk_data.unit_data[unit_idx][dev_code].read_buffer_sz)) & MASK36;