| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6ProcessEndPoint/ |
| D | DHCPv6ProcessEndPoint_harness.c | 69 Socket_t FreeRTOS_socket( BaseType_t xDomain, in FreeRTOS_socket() function
145 xDHCPv6Socket = FreeRTOS_socket( FREERTOS_AF_INET, FREERTOS_SOCK_DGRAM, FREERTOS_IPPROTO_UDP ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvHandleListen/ |
| D | prvHandleListen_harness.c | 49 Socket_t FreeRTOS_socket( BaseType_t xDomain, in FreeRTOS_socket() function
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvHandleListen_IPv6/ |
| D | prvHandleListen_IPv6_harness.c | 49 Socket_t FreeRTOS_socket( BaseType_t xDomain, in FreeRTOS_socket() function
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_DNS_Networking.c | 73 xSocket = FreeRTOS_socket( FREERTOS_AF_INET, FREERTOS_SOCK_DGRAM, FREERTOS_IPPROTO_UDP ); in DNS_CreateSocket()
|
| D | FreeRTOS_TCP_State_Handling_IPv4.c | 141 … FreeRTOS_socket( FREERTOS_AF_INET, FREERTOS_SOCK_STREAM, FREERTOS_IPPROTO_TCP ); in prvHandleListen_IPV4()
|
| D | FreeRTOS_TCP_State_Handling_IPv6.c | 136 … FreeRTOS_socket( FREERTOS_AF_INET6, FREERTOS_SOCK_STREAM, FREERTOS_IPPROTO_TCP ); in prvHandleListen_IPV6()
|
| D | FreeRTOS_DHCP.c | 876 … xDHCPv4Socket = FreeRTOS_socket( FREERTOS_AF_INET, FREERTOS_SOCK_DGRAM, FREERTOS_IPPROTO_UDP ); in prvCreateDHCPSocket()
|
| D | FreeRTOS_DHCPv6.c | 874 … xDHCPv6Socket = FreeRTOS_socket( FREERTOS_AF_INET6, FREERTOS_SOCK_DGRAM, FREERTOS_IPPROTO_UDP ); in prvCreateDHCPv6Socket()
|
| D | FreeRTOS_Sockets.c | 614 Socket_t FreeRTOS_socket( BaseType_t xDomain, in FreeRTOS_socket() function
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/ |
| D | FreeRTOS_Sockets_DiffConfig1_GenericAPI_utest.c | 88 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_TCPv6SocketLowMSS()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcessEndPoint/ |
| D | README.md | 18 * FreeRTOS_socket
|
| D | DHCPProcessEndPoint_harness.c | 192 xDHCPv4Socket = FreeRTOS_socket( FREERTOS_AF_INET, FREERTOS_SOCK_DGRAM, FREERTOS_IPPROTO_UDP ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/stubs/ |
| D | freertos_api.c | 36 Socket_t FreeRTOS_socket( BaseType_t xDomain, in FreeRTOS_socket() function
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_GenericAPI_utest.c | 83 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_SockSizeFailure()
100 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_SockSizeFailure_SockDependent()
121 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_NoMemory()
147 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_EventGroupCreationFailed()
183 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
228 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_TCPSocket()
271 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_UDPSocket()
310 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_UDPSocket_ProtocolDependent()
328 catch_assert( FreeRTOS_socket( xDomain, xType, xProtocol ) ); in test_FreeRTOS_socket_unknownDomain()
361 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_TCPv6Socket()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_Sockets.h | 208 Socket_t FreeRTOS_socket( BaseType_t xDomain,
|
| /FreeRTOS-Plus-TCP-v4.0.0/tools/tcp_utilities/ |
| D | http_client_test.c | 375 … xSocket = FreeRTOS_socket( FREERTOS_AF_INET, FREERTOS_SOCK_STREAM, FREERTOS_IPPROTO_TCP ); in prvEchoClientTask()
|
| D | NTPDemo.c | 220 … xNTP_UDPSocket = FreeRTOS_socket( FREERTOS_AF_INET, FREERTOS_SOCK_DGRAM, FREERTOS_IPPROTO_UDP ); in vStartNTPTask()
|
| D | plus_tcp_demo_cli.c | 412 … xSocket = FreeRTOS_socket( uxFamily, FREERTOS_SOCK_DGRAM, FREERTOS_IPPROTO_UDP ); in handle_udp()
|
