Searched refs:received_len (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/projects/camkes/apps/picotcp_tcp_echo/components/Echo/src/
H A Dtcp_echo_socket.c14 static uint64_t received_len; variable
53 if (received_len > 0) {
54 if ((msg->done_len + received_len) >= TCP_READ_SIZE) {
55 msg->done_len -= (TCP_READ_SIZE - received_len);
56 received_len = 0;
58 received_len += msg->done_len;
62 while (msg->done_len > 0 && received_len == 0) {
72 received_len += msg->done_len;

Completed in 74 milliseconds