read_buffer_sz     80 src/dps8/dps8_socket_dev.c          uint read_buffer_sz;
read_buffer_sz    725 src/dps8/dps8_socket_dev.c     sk_data.unit_data[unit_idx][dev_code].read_buffer_sz = count;
read_buffer_sz   1192 src/dps8/dps8_socket_dev.c     uint count           = sk_data.unit_data[unit_idx][dev_code].read_buffer_sz;
read_buffer_sz   1209 src/dps8/dps8_socket_dev.c     buffer[1] = ((word36) (sk_data.unit_data[unit_idx][dev_code].read_buffer_sz)) & MASK36;