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

/seL4-camkes-master/projects/picotcp/test/examples/
H A Dtcpbench.c28 int tcpbench_r = 0; local
36 tcpbench_r = pico_socket_read(s, recvbuf, 1500);
37 if (tcpbench_r > 0) {
38 tcpbench_rd_size += tcpbench_r;
40 } while (tcpbench_r > 0);

Completed in 22 milliseconds