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

/seL4-camkes-master/projects/picotcp/include/
H A Dpico_socket.h256 int pico_count_sockets(uint8_t proto);
/seL4-camkes-master/projects/picotcp/test/unit/
H A Dunit_socket.c76 count = pico_count_sockets(PICO_PROTO_TCP);
79 count = pico_count_sockets(0);
90 fail_if (pico_count_sockets(PICO_PROTO_UDP) != 1);
91 fail_if (pico_count_sockets(0) != 2);
/seL4-camkes-master/projects/picotcp/stack/
H A Dpico_socket.c2142 int pico_count_sockets(uint8_t proto) function

Completed in 92 milliseconds