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

/seL4-camkes-master/projects/camkes/apps/picotcp_single_component/src/
H A Dtcp_echo_socket.c44 static bool write_pending[MAX_TCP_CLIENTS]; variable
98 write_pending[connect_client_id] = false;
107 if (events & PICO_SOCK_EV_WR && write_pending[client_id]) {
116 write_pending[client_id] = true;
128 write_pending[client_id] = false;
139 while (!write_pending[client_id]) {
159 write_pending[client_id] = true;

Completed in 25 milliseconds