/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_fragments.h | 8 void pico_ipv6_process_frag(struct pico_ipv6_exthdr *frag, struct pico_frame *f, uint8_t proto); 9 void pico_ipv4_process_frag(struct pico_ipv4_hdr *hdr, struct pico_frame *f, uint8_t proto);
|
H A D | pico_nat.h | 19 int pico_ipv4_nat_find(uint16_t nat_port, struct pico_ip4 *src_addr, uint16_t src_port, uint8_t proto); 20 int pico_ipv4_port_forward(struct pico_ip4 nat_addr, uint16_t nat_port, struct pico_ip4 src_addr, uint16_t src_port, uint8_t proto, uint8_t flag); 66 static inline int pico_ipv4_nat_find(uint16_t nat_port, struct pico_ip4 *src_addr, uint16_t src_port, uint8_t proto) argument 71 (void)proto; 76 static inline int pico_ipv4_port_forward(struct pico_ip4 nat_addr, uint16_t nat_port, struct pico_ip4 src_addr, uint16_t src_port, uint8_t proto, uint8_t flag) argument 82 (void)proto;
|
H A D | pico_nat.c | 34 uint8_t proto; member in struct:pico_nat_tuple 81 if (a->proto < b->proto) 84 if (a->proto > b->proto) 135 nat_dbg("+ src_addr | src_port | dst_addr | dst_port | nat_addr | nat_port | proto | conn active | FIN1 | FIN2 | SYN | RST | FORW +\n"); 143 t->proto, t->conn_active, t->fin_in, t->fin_out, t->syn, t->rst, t->portforward); 150 find on nat_port and proto 151 find on src_addr, src_port and proto 154 static struct pico_nat_tuple *pico_ipv4_nat_find_tuple(uint16_t nat_port, struct pico_ip4 *src_addr, uint16_t src_port, uint8_t proto) argument 177 pico_ipv4_nat_find(uint16_t nat_port, struct pico_ip4 *src_addr, uint16_t src_port, uint8_t proto) argument 188 pico_ipv4_nat_add(struct pico_ip4 dst_addr, uint16_t dst_port, struct pico_ip4 src_addr, uint16_t src_port, struct pico_ip4 nat_addr, uint16_t nat_port, uint8_t proto) argument 225 pico_ipv4_nat_del(uint16_t nat_port, uint8_t proto) argument 392 pico_ipv4_port_forward(struct pico_ip4 nat_addr, uint16_t nat_port, struct pico_ip4 src_addr, uint16_t src_port, uint8_t proto, uint8_t flag) argument [all...] |
H A D | pico_ipfilter.h | 19 uint32_t pico_ipv4_filter_add(struct pico_device *dev, uint8_t proto,
|
H A D | pico_fragments.c | 60 static void pico_fragments_complete(unsigned int bookmark, uint8_t proto, uint8_t net); 61 static int pico_fragments_check_complete(struct pico_tree *tree, uint8_t proto, uint8_t net); 62 static int pico_fragments_reassemble(struct pico_tree *tree, unsigned int len, uint8_t proto, uint8_t net); 86 static void pico_ipv6_fragments_complete(unsigned int len, uint8_t proto) argument 88 if (pico_fragments_reassemble(&ipv6_fragments, len, proto, PICO_PROTO_IPV6) == 0) 142 static void pico_ipv4_fragments_complete(unsigned int len, uint8_t proto) argument 144 if (pico_fragments_reassemble(&ipv4_fragments, len, proto, PICO_PROTO_IPV4) == 0) 181 static void pico_fragments_complete(unsigned int bookmark, uint8_t proto, uint8_t net) argument 188 pico_ipv4_fragments_complete(bookmark, proto); 194 pico_ipv6_fragments_complete(bookmark, proto); 216 pico_fragments_check_complete(struct pico_tree *tree, uint8_t proto, uint8_t net) argument 304 pico_fragments_reassemble(struct pico_tree *tree, unsigned int len, uint8_t proto, uint8_t net) argument 432 pico_ipv6_process_frag(struct pico_ipv6_exthdr *frag, struct pico_frame *f, uint8_t proto) argument 500 pico_ipv4_process_frag(struct pico_ipv4_hdr *hdr, struct pico_frame *f, uint8_t proto) argument [all...] |
H A D | pico_ipfilter.c | 49 uint8_t proto; member in struct:filter_node 130 return ipfilter_uint8_cmp(a->proto, b->proto); 161 if (rule->proto) { 362 uint32_t pico_ipv4_filter_add(struct pico_device *dev, uint8_t proto, argument 383 new_filter->proto = proto; 448 if ((ipv4_hdr->proto == PICO_PROTO_TCP) || (ipv4_hdr->proto == PICO_PROTO_UDP)) { 453 else if(ipv4_hdr->proto [all...] |
H A D | pico_ipv4.h | 39 uint8_t proto; variable 51 uint8_t proto; variable 97 int pico_ipv4_frame_push(struct pico_frame *f, struct pico_ip4 *dst, uint8_t proto);
|
H A D | pico_mcast.h | 44 uint8_t proto; variable
|
/seL4-camkes-master/projects/picotcp/include/ |
H A D | pico_eth.h | 16 uint16_t proto; variable
|
H A D | pico_socket.h | 41 uint16_t proto; member in struct:pico_sockport 46 struct pico_protocol *proto; member in struct:pico_socket 180 struct pico_socket *pico_socket_open(uint16_t net, uint16_t proto, void (*wakeup)(uint16_t ev, struct pico_socket *s)); 197 int pico_socket_getname(struct pico_socket *s, void *local_addr, uint16_t *port, uint16_t *proto); 198 int pico_socket_getpeername(struct pico_socket *s, void *remote_addr, uint16_t *port, uint16_t *proto); 228 # define is_sock_udp(x) (x->proto == &pico_proto_udp) 234 # define is_sock_tcp(x) (x->proto == &pico_proto_tcp) 243 int pico_transport_error(struct pico_frame *f, uint8_t proto, int code); 249 int pico_is_port_free(uint16_t proto, uint16_t port, void *addr, void *net); 251 struct pico_sockport *pico_get_sockport(uint16_t proto, uint16_ [all...] |
H A D | pico_stack.h | 22 int32_t pico_transport_receive(struct pico_frame *f, uint8_t proto); 89 int pico_address_compare(union pico_address *a, union pico_address *b, uint16_t proto);
|
/seL4-camkes-master/projects/musllibc/src/network/ |
H A D | lookup_serv.c | 11 int __lookup_serv(struct service buf[static MAXSERVS], const char *name, int proto, int socktype, int flags) argument 20 switch (proto) { 22 proto = IPPROTO_TCP; 30 switch (proto) { 32 proto = IPPROTO_UDP; 43 buf[0].proto = proto; 54 if (proto != IPPROTO_UDP) { 57 buf[cnt++].proto = IPPROTO_TCP; 59 if (proto ! [all...] |
H A D | getservbyname_r.c | 16 int cnt, proto, align; local 26 if (!prots) proto = 0; 27 else if (!strcmp(prots, "tcp")) proto = IPPROTO_TCP; 28 else if (!strcmp(prots, "udp")) proto = IPPROTO_UDP; 31 cnt = __lookup_serv(servs, name, proto, 0, 0); 45 se->s_proto = servs[0].proto == IPPROTO_TCP ? "tcp" : "udp";
|
H A D | lookup.h | 16 unsigned char proto, socktype; member in struct:service 33 int __lookup_serv(struct service buf[static MAXSERVS], const char *name, int proto, int socktype, int flags);
|
H A D | getaddrinfo.c | 14 int family = AF_UNSPEC, flags = 0, proto = 0, socktype = 0; local 28 proto = hint->ai_protocol; 46 nservs = __lookup_serv(ports, serv, proto, socktype, flags); 68 .ai_protocol = ports[j].proto,
|
/seL4-camkes-master/projects/picotcp/stack/ |
H A D | pico_protocol.c | 52 static int proto_loop_in(struct pico_protocol *proto, int loop_score) argument 56 if (proto->q_in->frames == 0) 59 f = pico_dequeue(proto->q_in); 60 if ((f) && (proto->process_in(proto, f) > 0)) { 67 static int proto_loop_out(struct pico_protocol *proto, int loop_score) argument 71 if (proto->q_out->frames == 0) 74 f = pico_dequeue(proto->q_out); 75 if ((f) && (proto->process_out(proto, 82 proto_loop(struct pico_protocol *proto, int loop_score, int direction) argument 190 struct pico_proto_rr *proto = NULL; local [all...] |
H A D | pico_socket.c | 30 #define PROTO(s) ((s)->proto->proto_number) 45 #define PROTO(s) ((s)->proto->proto_number) 179 struct pico_sockport *pico_get_sockport(uint16_t proto, uint16_t port) argument 184 if (proto == PICO_PROTO_UDP) 187 else if (proto == PICO_PROTO_TCP) 195 static int pico_port_in_use_by_nat(uint16_t proto, uint16_t port) argument 198 (void) proto; 201 if (pico_ipv4_nat_find(port, NULL, 0, (uint8_t)proto)) { 298 static int pico_generic_port_in_use(uint16_t proto, uint16_t port, struct pico_sockport *sp, void *addr, void *net) argument 303 if (pico_port_in_use_by_nat(proto, por 327 pico_is_port_free(uint16_t proto, uint16_t port, void *addr, void *net) argument 616 pico_socket_transport_open(uint16_t proto, uint16_t family) argument 636 pico_socket_open(uint16_t net, uint16_t proto, void (*wakeup)(uint16_t ev, struct pico_socket *)) argument 796 pico_socket_high_port(uint16_t proto) argument 1494 pico_socket_getname(struct pico_socket *s, void *local_addr, uint16_t *port, uint16_t *proto) argument 1523 pico_socket_getpeername(struct pico_socket *s, void *remote_addr, uint16_t *port, uint16_t *proto) argument 2142 pico_count_sockets(uint8_t proto) argument 2240 pico_transport_error(struct pico_frame *f, uint8_t proto, int code) argument [all...] |
/seL4-camkes-master/projects/lwip/src/include/lwip/ |
H A D | inet_chksum.h | 81 u16_t inet_chksum_pseudo(struct pbuf *p, u8_t proto, u16_t proto_len, 83 u16_t inet_chksum_pseudo_partial(struct pbuf *p, u8_t proto, 88 u16_t ip6_chksum_pseudo(struct pbuf *p, u8_t proto, u16_t proto_len, 90 u16_t ip6_chksum_pseudo_partial(struct pbuf *p, u8_t proto, u16_t proto_len, 95 u16_t ip_chksum_pseudo(struct pbuf *p, u8_t proto, u16_t proto_len, 97 u16_t ip_chksum_pseudo_partial(struct pbuf *p, u8_t proto, u16_t proto_len,
|
H A D | ip.h | 228 #define ip_output(p, src, dest, ttl, tos, proto) \ 230 ip6_output(p, ip_2_ip6(src), ip_2_ip6(dest), ttl, tos, proto) : \ 231 ip4_output(p, ip_2_ip4(src), ip_2_ip4(dest), ttl, tos, proto)) 236 #define ip_output_if(p, src, dest, ttl, tos, proto, netif) \ 238 ip6_output_if(p, ip_2_ip6(src), ip_2_ip6(dest), ttl, tos, proto, netif) : \ 239 ip4_output_if(p, ip_2_ip4(src), ip_2_ip4(dest), ttl, tos, proto, netif)) 244 #define ip_output_if_src(p, src, dest, ttl, tos, proto, netif) \ 246 ip6_output_if_src(p, ip_2_ip6(src), ip_2_ip6(dest), ttl, tos, proto, netif) : \ 247 ip4_output_if_src(p, ip_2_ip4(src), ip_2_ip4(dest), ttl, tos, proto, netif)) 254 #define ip_output_hinted(p, src, dest, ttl, tos, proto, netif_hin [all...] |
H A D | ip4.h | 73 u8_t ttl, u8_t tos, u8_t proto); 75 u8_t ttl, u8_t tos, u8_t proto, struct netif *netif); 77 u8_t ttl, u8_t tos, u8_t proto, struct netif *netif); 80 u8_t ttl, u8_t tos, u8_t proto, struct netif_hint *netif_hint); 84 u8_t ttl, u8_t tos, u8_t proto, struct netif *netif, void *ip_options, 87 u8_t ttl, u8_t tos, u8_t proto, struct netif *netif, void *ip_options,
|
H A D | raw.h | 104 struct raw_pcb * raw_new (u8_t proto); 105 struct raw_pcb * raw_new_ip_type(u8_t type, u8_t proto); 128 #define raw_new_ip6(proto) raw_new_ip_type(IPADDR_TYPE_V6, proto)
|
/seL4-camkes-master/projects/lwip/src/core/ |
H A D | stats.c | 64 stats_display_proto(struct stats_proto *proto, const char *name) argument 67 LWIP_PLATFORM_DIAG(("xmit: %"STAT_COUNTER_F"\n\t", proto->xmit)); 68 LWIP_PLATFORM_DIAG(("recv: %"STAT_COUNTER_F"\n\t", proto->recv)); 69 LWIP_PLATFORM_DIAG(("fw: %"STAT_COUNTER_F"\n\t", proto->fw)); 70 LWIP_PLATFORM_DIAG(("drop: %"STAT_COUNTER_F"\n\t", proto->drop)); 71 LWIP_PLATFORM_DIAG(("chkerr: %"STAT_COUNTER_F"\n\t", proto->chkerr)); 72 LWIP_PLATFORM_DIAG(("lenerr: %"STAT_COUNTER_F"\n\t", proto->lenerr)); 73 LWIP_PLATFORM_DIAG(("memerr: %"STAT_COUNTER_F"\n\t", proto->memerr)); 74 LWIP_PLATFORM_DIAG(("rterr: %"STAT_COUNTER_F"\n\t", proto->rterr)); 75 LWIP_PLATFORM_DIAG(("proterr: %"STAT_COUNTER_F"\n\t", proto [all...] |
H A D | inet_chksum.c | 260 inet_cksum_pseudo_base(struct pbuf *p, u8_t proto, u16_t proto_len, u32_t acc) argument 285 acc += (u32_t)lwip_htons((u16_t)proto); 305 * @param proto ip protocol (used for checksum of pseudo header) 310 inet_chksum_pseudo(struct pbuf *p, u8_t proto, u16_t proto_len, argument 326 return inet_cksum_pseudo_base(p, proto, proto_len, acc); 336 * @param proto ipv6 protocol/next header (used for checksum of pseudo header) 343 ip6_chksum_pseudo(struct pbuf *p, u8_t proto, u16_t proto_len, argument 362 return inet_cksum_pseudo_base(p, proto, proto_len, acc); 374 * @param proto ip protocol (used for checksum of pseudo header) 379 ip_chksum_pseudo(struct pbuf *p, u8_t proto, u16_ argument 399 inet_cksum_pseudo_partial_base(struct pbuf *p, u8_t proto, u16_t proto_len, u16_t chksum_len, u32_t acc) argument 456 inet_chksum_pseudo_partial(struct pbuf *p, u8_t proto, u16_t proto_len, u16_t chksum_len, const ip4_addr_t *src, const ip4_addr_t *dest) argument 491 ip6_chksum_pseudo_partial(struct pbuf *p, u8_t proto, u16_t proto_len, u16_t chksum_len, const ip6_addr_t *src, const ip6_addr_t *dest) argument 526 ip_chksum_pseudo_partial(struct pbuf *p, u8_t proto, u16_t proto_len, u16_t chksum_len, const ip_addr_t *src, const ip_addr_t *dest) argument [all...] |
/seL4-camkes-master/projects/picotcp/test/unit/ |
H A D | modunit_pico_ipfilter.c | 128 b.proto = 4u; 132 a.proto = 5u; 136 a.proto = b.proto; 245 b.proto = 4u; 249 a.proto = 5u; 253 a.proto = b.proto; 275 uint32_t pico_ipv4_filter_add(struct pico_device *dev, uint8_t proto,
|
/seL4-camkes-master/projects/lwip/src/include/lwip/prot/ |
H A D | etharp.h | 88 PACK_STRUCT_FIELD(u16_t proto);
|