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

/seL4-camkes-master/projects/picotcp/include/
H A Dpico_socket.h212 struct pico_device *get_sock_dev(struct pico_socket *s);
/seL4-camkes-master/projects/picotcp/stack/
H A Dpico_socket.c1092 dev = get_sock_dev(s);
1198 f = pico_socket_frame_alloc(s, get_sock_dev(s), (uint16_t)(space + hdr_offset));
1253 struct pico_device *get_sock_dev(struct pico_socket *s) function
1288 get_sock_dev(s);
1652 get_sock_dev(s);
1667 get_sock_dev(s);
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_tcp.c2869 f1 = pico_socket_frame_alloc(&t->sock, get_sock_dev(&t->sock), (uint16_t) (size1 + overhead));
2870 f2 = pico_socket_frame_alloc(&t->sock, get_sock_dev(&t->sock), (uint16_t) (size2 + overhead));
3018 f_new = pico_socket_frame_alloc(s, get_sock_dev(s), (uint16_t)(off + total_len));

Completed in 84 milliseconds