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

/seL4-camkes-master/projects/picotcp/stack/
H A Dpico_socket.c164 static int sockport_cmp(void *ka, void *kb) function
176 static PICO_TREE_DECLARE(UDPTable, sockport_cmp);
177 static PICO_TREE_DECLARE(TCPTable, sockport_cmp);

Completed in 38 milliseconds