buffer_size_wds 1193 src/dps8/dps8_socket_dev.c uint buffer_size_wds = (count + 3) / 4; buffer_size_wds 1194 src/dps8/dps8_socket_dev.c word36 buffer [buffer_size_wds]; buffer_size_wds 1196 src/dps8/dps8_socket_dev.c (void)memset (buffer, 0, sizeof (word36) * buffer_size_wds);