Home
last modified time | relevance | path

Searched defs:xSocket (Results 1 – 25 of 25) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_TCP_API_utest.c83 static void vUserCallbackLocal( FreeRTOS_Socket_t * xSocket ) in vUserCallbackLocal()
122 static BaseType_t xLocalReceiveCallback( Socket_t xSocket, in xLocalReceiveCallback()
366 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_recv_InvalidValues() local
401 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_recv_NotConnectedAndNoMemory() local
428 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_recv_EstablishedConnection_NoWait() local
452 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_recv_TimeOut() local
479 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_recv_Interrupted() local
508 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_recv_Interrupted1() local
539 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_recv_RxStreamNULL() local
570 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_recv_12BytesAlreadyInBuffer() local
[all …]
DFreeRTOS_Sockets_GenericAPI_utest.c83 static void vUserCallbackLocal( FreeRTOS_Socket_t * xSocket ) in vUserCallbackLocal()
122 static BaseType_t xLocalReceiveCallback( Socket_t xSocket, in xLocalReceiveCallback()
232 Socket_t xSocket; in test_FreeRTOS_socket_SockSizeFailure() local
248 Socket_t xSocket; in test_FreeRTOS_socket_SockSizeFailure_SockDependent() local
265 Socket_t xSocket; in test_FreeRTOS_socket_NoMemory() local
286 Socket_t xSocket; in test_FreeRTOS_socket_EventGroupCreationFailed() local
312 Socket_t xSocket; in test_FreeRTOS_socket_TCPSocket_ProtocolDependent() local
357 Socket_t xSocket; in test_FreeRTOS_socket_TCPSocket() local
402 Socket_t xSocket; in test_FreeRTOS_socket_UDPSocket() local
441 Socket_t xSocket; in test_FreeRTOS_socket_UDPSocket_ProtocolDependent() local
[all …]
DFreeRTOS_Sockets_privates_utest.c83 static void vUserCallbackLocal( FreeRTOS_Socket_t * xSocket ) in vUserCallbackLocal()
122 static BaseType_t xLocalReceiveCallback( Socket_t xSocket, in xLocalReceiveCallback()
184 FreeRTOS_Socket_t xSocket; in test_prvValidSocket_SocketBoundSetButNotBound() local
202 FreeRTOS_Socket_t xSocket; in test_prvValidSocket_SocketBoundResetButBound() local
220 FreeRTOS_Socket_t xSocket; in test_prvValidSocket_InvalidProtocol() local
460 FreeRTOS_Socket_t xSocket; in test_prvMakeSureSocketIsBound_TCPProtocol() local
475 FreeRTOS_Socket_t xSocket; in test_prvMakeSureSocketIsBound_SocketAlreadyBound() local
492 FreeRTOS_Socket_t xSocket; in test_prvMakeSureSocketIsBound_SocketNotBound_BindingFails() local
515 FreeRTOS_Socket_t xSocket; in test_prvMakeSureSocketIsBound_SocketNotBound_BindingSuccess() local
555 FreeRTOS_Socket_t xSocket; in test_vSocketBind_CatchAssert2() local
[all …]
DFreeRTOS_Sockets_UDP_API_utest.c83 static void vUserCallbackLocal( FreeRTOS_Socket_t * xSocket ) in vUserCallbackLocal()
122 static BaseType_t xLocalReceiveCallback( Socket_t xSocket, in xLocalReceiveCallback()
136 Socket_t xSocket = NULL; in test_FreeRTOS_recvfrom_NullSocket() local
155 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_TCPSocket() local
180 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_NonBlockingInterrupted() local
209 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_NonBlocking() local
238 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_NonBlockingFlagSet() local
266 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_BlockingButTimeout() local
302 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_BlockingButTimeoutSecondTime() local
344 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_BlockingButInterrupted() local
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP_DiffConfig/
DFreeRTOS_TCP_IP_DiffConfig_utest.c64 FreeRTOS_Socket_t xSocket, * pxSocket; variable
81 static void HandleConnected( Socket_t xSocket, in HandleConnected()
92 FreeRTOS_Socket_t xSocket; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1() local
125 FreeRTOS_Socket_t xSocket; in test_vTCPStateChange_ClosedToEstablishedState_SelectWrite_QueuedBitSet() local
152 FreeRTOS_Socket_t xSocket; in test_vTCPStateChange_ClosedWaitState_CurrentStateSynFirstNextStateCloseWait() local
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP/
DFreeRTOS_TCP_IP_utest.c66 FreeRTOS_Socket_t xSocket, * pxSocket; variable
84 static void HandleConnected( Socket_t xSocket, in HandleConnected()
139 FreeRTOS_Socket_t xSocket; in test_vSocketListenNextTime() local
150 FreeRTOS_Socket_t xSocket; in test_vSocketListenNextTime1() local
162 FreeRTOS_Socket_t xSocket; in test_vSocketListenNextTime2() local
193 FreeRTOS_Socket_t xSocket; in test_xTCPSocketCheck_StateEstablished() local
216 FreeRTOS_Socket_t xSocket; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull() local
242 FreeRTOS_Socket_t xSocket; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1() local
275 FreeRTOS_Socket_t xSocket; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull_BufferFreed() local
307 FreeRTOS_Socket_t xSocket; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1_NonZeroTimeout() local
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets_DiffConfig/
DFreeRTOS_Sockets_DiffConfig_privates_utest.c82 static void vUserCallbackLocal( FreeRTOS_Socket_t * xSocket ) in vUserCallbackLocal()
121 static BaseType_t xLocalReceiveCallback( Socket_t xSocket, in xLocalReceiveCallback()
135 FreeRTOS_Socket_t xSocket; in test_vSocketBind_TCP() local
156 FreeRTOS_Socket_t xSocket; in test_vSocketBind_TCP1() local
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/stubs/
Dfreertos_api.c57 BaseType_t FreeRTOS_setsockopt( Socket_t xSocket, in FreeRTOS_setsockopt()
75 BaseType_t FreeRTOS_closesocket( Socket_t xSocket ) in FreeRTOS_closesocket()
87 BaseType_t FreeRTOS_bind( Socket_t xSocket, in FreeRTOS_bind()
119 int32_t FreeRTOS_recvfrom( Socket_t xSocket, in FreeRTOS_recvfrom()
189 int32_t FreeRTOS_sendto( Socket_t xSocket, in FreeRTOS_sendto()
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_Sockets.c590 void FreeRTOS_FD_SET( Socket_t xSocket, in FreeRTOS_FD_SET()
631 void FreeRTOS_FD_CLR( Socket_t xSocket, in FreeRTOS_FD_CLR()
669 EventBits_t FreeRTOS_FD_ISSET( const ConstSocket_t xSocket, in FreeRTOS_FD_ISSET()
845 int32_t FreeRTOS_recvfrom( const ConstSocket_t xSocket, in FreeRTOS_recvfrom()
1065 int32_t FreeRTOS_sendto( Socket_t xSocket, in FreeRTOS_sendto()
1230 BaseType_t FreeRTOS_bind( Socket_t xSocket, in FreeRTOS_bind()
1465 BaseType_t FreeRTOS_closesocket( Socket_t xSocket ) in FreeRTOS_closesocket()
1792 BaseType_t FreeRTOS_setsockopt( Socket_t xSocket, in FreeRTOS_setsockopt()
2840 size_t FreeRTOS_GetLocalAddress( ConstSocket_t xSocket, in FreeRTOS_GetLocalAddress()
3333 BaseType_t FreeRTOS_recv( Socket_t xSocket, in FreeRTOS_recv()
[all …]
DFreeRTOS_DNS_Networking.c47 Socket_t xSocket; in DNS_CreateSocket() local
DFreeRTOS_DHCP.c137 BaseType_t xIsDHCPSocket( const ConstSocket_t xSocket ) in xIsDHCPSocket()
DFreeRTOS_IP.c941 BaseType_t FreeRTOS_ReleaseTCPPayloadBuffer( Socket_t xSocket, in FreeRTOS_ReleaseTCPPayloadBuffer()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/
DFreeRTOS_Sockets_DiffConfig1_privates_utest.c82 static void vUserCallbackLocal( FreeRTOS_Socket_t * xSocket ) in vUserCallbackLocal()
121 static BaseType_t xLocalReceiveCallback( Socket_t xSocket, in xLocalReceiveCallback()
135 FreeRTOS_Socket_t xSocket; in test_vSocketBind_TCP() local
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DHCP/IsDHCPSocket/
DIsDHCPSocket_harness.c45 Socket_t xSocket; in harness() local
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket/
DProcessReceivedUDPPacket_harness.c21 BaseType_t xIsDHCPSocket( Socket_t xSocket ) in xIsDHCPSocket()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Utils/
DFreeRTOS_TCP_Utils_utest.c55 FreeRTOS_Socket_t xSocket, * pxSocket; variable
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/ConfigFiles/
DIPTraceMacroDefaults.h128 #define iptraceBIND_FAILED( xSocket, usPort ) argument
168 #define iptraceFAILED_TO_NOTIFY_SELECT_GROUP( xSocket ) argument
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DHCP/
DFreeRTOS_DHCP_utest.c70 static int32_t RecvFromStub( Socket_t xSocket, in RecvFromStub()
120 static int32_t FreeRTOS_recvfrom_Generic( Socket_t xSocket, in FreeRTOS_recvfrom_Generic()
136 static int32_t FreeRTOS_recvfrom_eWaitingOfferRecvfromLessBytesNoTimeout( Socket_t xSocket, in FreeRTOS_recvfrom_eWaitingOfferRecvfromLessBytesNoTimeout()
154 …atic int32_t FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsFalseCookieNoTimeout( Socket_t xSocket, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsFalseCookieNoTimeout()
172 …atic int32_t FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsFalseOpcodeNoTimeout( Socket_t xSocket, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsFalseOpcodeNoTimeout()
192 …t FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsCorrectCookieAndOpcodeNoTimeout( Socket_t xSocket, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsCorrectCookieAndOpcodeNoTimeout()
214 static int32_t FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccessCorrectTxID( Socket_t xSocket, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccessCorrectTxID()
238 static int32_t FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccess_CorrectAddrType( Socket_t xSocket, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccess_CorrectAddrType()
264 static int32_t FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccess_CorrectAddrLen( Socket_t xSocket, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccess_CorrectAddrLen()
293 static int32_t FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccess_LocalHostAddr( Socket_t xSocket, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccess_LocalHostAddr()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DIPTraceMacroDefaults.h170 #define iptraceBIND_FAILED( xSocket, usPort ) argument
210 #define iptraceFAILED_TO_NOTIFY_SELECT_GROUP( xSocket ) argument
DFreeRTOS_Sockets.h331 #define FreeRTOS_recvcount( xSocket ) FreeRTOS_rx_size( xSocket ) argument
336 #define FreeRTOS_outstanding( xSocket ) FreeRTOS_tx_size( xSocket ) argument
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_DiffConfig/
DFreeRTOS_IP_DiffConfig_utest.c329 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBufferAssert() local
343 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectSizeAssert() local
357 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBytesReleasedAssert() local
373 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_ReleaseTCPPayloadBuffer_HappyPath() local
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Reception/
DFreeRTOS_TCP_Reception_utest.c63 FreeRTOS_Socket_t xSocket, * pxSocket; variable
543 static void xLocalFunctionPointer( Socket_t xSocket, in xLocalFunctionPointer()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP/
DFreeRTOS_IP_utest.c599 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBufferAssert() local
611 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectSizeAssert() local
622 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBytesReleasedAssert() local
635 FreeRTOS_Socket_t xSocket; in test_FreeRTOS_ReleaseTCPPayloadBuffer_HappyPath() local
806 FreeRTOS_Socket_t xSocket; in test_prvProcessIPEventsAndTimers_eSocketBindEvent() local
835 FreeRTOS_Socket_t xSocket; in test_prvProcessIPEventsAndTimers_eSocketCloseEvent() local
956 FreeRTOS_Socket_t xSocket; in test_prvProcessIPEventsAndTimers_eTCPAcceptEvent_NoNewClient() local
980 FreeRTOS_Socket_t xSocket; in test_prvProcessIPEventsAndTimers_eTCPAcceptEvent_NewClient() local
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_State_Handling/
DFreeRTOS_TCP_State_Handling_utest.c70 FreeRTOS_Socket_t xSocket, * pxSocket; variable
485 static void xLocalFunctionPointer( Socket_t xSocket, in xLocalFunctionPointer()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Transmission/
DFreeRTOS_TCP_Transmission_utest.c78 FreeRTOS_Socket_t xSocket, * pxSocket; variable