Home
last modified time | relevance | path

Searched refs:FreeRTOS_socket (Results 1 – 9 of 9) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_DNS_Networking.c54 xSocket = FreeRTOS_socket( FREERTOS_AF_INET, FREERTOS_SOCK_DGRAM, FREERTOS_IPPROTO_UDP ); in DNS_CreateSocket()
DFreeRTOS_DHCP.c617 … xDHCPSocket = FreeRTOS_socket( FREERTOS_AF_INET, FREERTOS_SOCK_DGRAM, FREERTOS_IPPROTO_UDP ); in prvCreateDHCPSocket()
DFreeRTOS_TCP_State_Handling.c968 … FreeRTOS_socket( FREERTOS_AF_INET, FREERTOS_SOCK_STREAM, FREERTOS_IPPROTO_TCP ); in prvHandleListen()
DFreeRTOS_Sockets.c365 Socket_t FreeRTOS_socket( BaseType_t xDomain, in FreeRTOS_socket() function
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/
DProcessReceivedTCPPacket_harness.c32 Socket_t FreeRTOS_socket( BaseType_t xDomain, in FreeRTOS_socket() function
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DHCP/DHCPProcess/
DREADME.md18 * FreeRTOS_socket
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/stubs/
Dfreertos_api.c36 Socket_t FreeRTOS_socket( BaseType_t xDomain, in FreeRTOS_socket() function
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_GenericAPI_utest.c238 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_SockSizeFailure()
255 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_SockSizeFailure_SockDependent()
276 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_NoMemory()
302 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_EventGroupCreationFailed()
337 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
382 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_TCPSocket()
425 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_UDPSocket()
464 xSocket = FreeRTOS_socket( xDomain, xType, xProtocol ); in test_FreeRTOS_socket_UDPSocket_ProtocolDependent()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_Sockets.h198 Socket_t FreeRTOS_socket( BaseType_t xDomain,