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

/seL4-camkes-master/projects/camkes/apps/picotcp_single_component/src/
H A Dtcp_echo_socket.c48 static int sent_payload[MAX_TCP_CLIENTS]; variable
109 int inner_ret = pico_socket_send(s, data_packet[client_id] + sent_payload[client_id], remaining_payload[client_id]);
118 sent_payload[client_id] = sent_payload[client_id];
123 sent_payload[client_id] += inner_ret;
161 sent_payload[client_id] = done;

Completed in 29 milliseconds