/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_dev_mock.c | 21 static int mock_dev_cmp(void *ka, void *kb) argument
|
H A D | pico_hotplug_detection.c | 21 static int pico_hotplug_dev_cmp(void *ka, void *kb) argument 33 static int callback_compare(void *ka, void *kb) argument
|
H A D | pico_fragments.c | 73 static int pico_ipv6_frag_compare(void *ka, void *kb) argument 129 static int pico_ipv4_frag_compare(void *ka, void *kb) argument
|
H A D | pico_icmp4.c | 216 static int cookie_compare(void *ka, void *kb) argument
|
H A D | pico_aodv.c | 37 static int aodv_node_compare(void *ka, void *kb) argument 49 static int aodv_dev_cmp(void *ka, void *kb) argument
|
H A D | pico_arp.c | 122 static int arp_compare(void *ka, void *kb) argument
|
H A D | pico_dhcp_server.c | 66 static int dhcp_settings_cmp(void *ka, void *kb) argument 76 static int dhcp_negotiations_cmp(void *ka, void *kb) argument
|
H A D | pico_nat.c | 95 static int nat_cmp_inbound(void *ka, void *kb) argument 106 static int nat_cmp_outbound(void *ka, void *kb) argument
|
H A D | pico_dns_client.c | 44 static int dns_ns_cmp(void *ka, void *kb) argument 65 static int dns_query_cmp(void *ka, void *kb) argument
|
H A D | pico_icmp6.c | 675 static int icmp6_cookie_compare(void *ka, void *kb) argument
|
H A D | pico_mld.c | 140 static int mld_timer_cmp(void *ka, void *kb) argument 196 static int mcast_parameters_cmp(void *ka, void *kb) argument 392 static int mld_sources_cmp(void *ka, void *kb) argument
|
H A D | pico_dhcp_client.c | 117 static int dhcp_cookies_cmp(void *ka, void *kb) argument
|
H A D | pico_igmp.c | 168 static int igmp_timer_cmp(void *ka, void *kb) argument 194 static int igmp_parameters_cmp(void *ka, void *kb) argument 205 static int igmp_sources_cmp(void *ka, void *kb) argument
|
H A D | pico_ipv4.c | 271 static int ipv4_link_compare(void *ka, void *kb) argument 527 static int ipv4_route_compare(void *ka, void *kb) argument 678 static int ipv4_mcast_groups_cmp(void *ka, void *kb) argument 684 static int ipv4_mcast_sources_cmp(void *ka, void *kb) argument
|
H A D | pico_ipv6_nd.c | 72 static int pico_ipv6_neighbor_compare(void *ka, void *kb) argument
|
H A D | pico_ipv6.c | 81 static int ipv6_link_compare(void *ka, void *kb) argument 117 static int ipv6_route_compare(void *ka, void *kb) argument 957 static int ipv6_mcast_groups_cmp(void *ka, void *kb) argument 962 static int ipv6_mcast_sources_cmp(void *ka, void *kb) argument
|
H A D | pico_mdns.c | 186 pico_mdns_cookie_cmp( void *ka, void *kb ) argument 2652 struct pico_mdns_record *record = NULL, ka = { local
|
H A D | pico_tcp.c | 91 static int input_segment_compare(void *ka, void *kb) argument 121 static int segment_compare(void *ka, void *kb) argument
|
/seL4-camkes-master/projects/picotcp/stack/ |
H A D | pico_protocol.c | 21 static int pico_proto_cmp(void *ka, void *kb) argument
|
H A D | pico_device.c | 33 static int pico_dev_cmp(void *ka, void *kb) argument
|
H A D | pico_socket_multicast.c | 83 static int mcast_listen_cmp(void *ka, void *kb) argument 95 static int mcast_listen_cmp_ipv6(void *ka, void *kb) argument 107 static int mcast_sources_cmp(void *ka, void *kb) argument 119 static int mcast_sources_cmp_ipv6(void *ka, void *kb) argument 125 static int mcast_socket_cmp(void *ka, void *kb) argument 140 mcast_filter_cmp(void *ka, void *kb) argument 154 mcast_filter_cmp_ipv6(void *ka, void *kb) argument [all...] |
H A D | pico_socket.c | 142 static int socket_cmp(void *ka, void *kb) argument 164 static int sockport_cmp(void *ka, void *kb) argument
|
/seL4-camkes-master/projects/picotcp/test/unit/ |
H A D | modunit_pico_igmp.c | 28 static int mcast_filter_cmp(void *ka, void *kb) argument 39 static int mcast_sources_cmp(void *ka, void *kb) argument
|
H A D | modunit_pico_mld.c | 27 static int mcast_filter_cmp_ipv6(void *ka, void *kb) argument 32 static int mcast_sources_cmp_ipv6(void *ka, void *kb) argument
|