| /seL4-camkes-master/projects/musllibc/src/network/ |
| H A D | socket.c | 6 int socket(int domain, int type, int protocol) function
|
| /seL4-camkes-master/projects/picotcp/docs/user_manual/ |
| H A D | chap_api_sock.tex | [all...] |
| /seL4-camkes-master/projects/global-components/remote-drivers/picotcp-socket-sync/client_include/ |
| H A D | picoserver_peer.h | 17 int socket; member in struct:picoserver_peer
|
| /seL4-camkes-master/projects/camkes/apps/picoserver/components/Listener/src/ |
| H A D | listener.c | 24 int socket = 0; local
65 int socket = listener_control_open(false); local
[all...] |
| /seL4-camkes-master/projects/picotcp/test/python/ |
| H A D | fragmentation.py | 16 import socket, random, string namespace
|
| H A D | multicast_recv.py | 11 import socket, random, string namespace
[all...] |
| H A D | multicast_send.py | 13 import socket, random, string, struct namespace
[all...] |
| H A D | reassembly.py | 17 import socket, random, string namespace
|
| /seL4-camkes-master/projects/global-components/remote-drivers/picotcp-socket-sync/server/ |
| H A D | picoserver_socket.h | 35 struct pico_socket *socket; member in struct:picoserver_socket
|
| H A D | server.c | 271 struct pico_socket *socket = pico_socket_accept(client_socket->socket, &peer_addr, &remote_port); local
[all...] |
| /seL4-camkes-master/projects/camkes/apps/picoserver/components/Echo/src/ |
| H A D | echo.c | 26 int socket = 0; local
[all...] |
| /seL4-camkes-master/projects/picotcp/test/ |
| H A D | units.c | 114 TCase *socket = tcase_create("SOCKET"); local
|
| /seL4-camkes-master/projects/camkes/apps/picotcp_tcp_echo/components/Echo/src/ |
| H A D | utilization_socket.c | 31 void handle_tcp_utiliz_notification(uint16_t events, int socket) argument
[all...] |
| H A D | tcp_echo_socket.c | 114 void handle_tcp_echo_notification(uint16_t events, int socket) argument
[all...] |
| H A D | echo.c | 22 int socket = 0; local
[all...] |
| /seL4-camkes-master/projects/picotcp/modules/ |
| H A D | pico_dev_radio_mgr.c | 45 struct socket { struct
65 pico_radio_mgr_socket_insert(int socket, uint8_t id, uint8_t area0, uint8_t area1, uint8_t mgr) argument
127 pico_radio_mgr_socket_hup(int socket) argument
148 pico_radio_mgr_welcome(int socket) argument
189 pico_radio_mgr_accept(int socket) argument
[all...] |
| H A D | pico_tftp.c | 77 struct pico_socket *socket; member in struct:pico_tftp_session
[all...] |
| /seL4-camkes-master/projects/lwip/src/include/lwip/ |
| H A D | api.h | 251 int socket; member in struct:netconn
|
| H A D | sockets.h | 646 #define socket macro
[all...] |