Home
last modified time | relevance | path

Searched refs:pxPeerSocket (Results 1 – 10 of 10) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/
DProcessReceivedTCPPacket_harness.c66 xRetSocket->u.xTCP.pxPeerSocket = safeMalloc( sizeof( StreamBuffer_t ) ); in pxTCPSocketLookup()
69 if( xRetSocket->u.xTCP.pxPeerSocket == NULL ) in pxTCPSocketLookup()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/utility/
Dmemory_assignments.c22 pxSocket->u.xTCP.pxPeerSocket = safeMalloc( sizeof( FreeRTOS_Socket_t ) ); in ensure_FreeRTOS_Socket_t_is_allocated()
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_TCP_IP.c338 xParent = pxSocket->u.xTCP.pxPeerSocket; in vTCPStateChange()
356 if( xParent->u.xTCP.pxPeerSocket == NULL ) in vTCPStateChange()
358 xParent->u.xTCP.pxPeerSocket = pxSocket; in vTCPStateChange()
390 pxSocket->u.xTCP.pxPeerSocket = NULL; in vTCPStateChange()
902 pxSocket->u.xTCP.pxPeerSocket = pxFound; in xTCPCheckNewClient()
DFreeRTOS_TCP_State_Handling.c948 pxSocket->u.xTCP.pxPeerSocket = pxSocket; in prvHandleListen()
1094 pxNewSocket->u.xTCP.pxPeerSocket = pxSocket; in prvTCPSocketCopy()
1105 if( pxSocket->u.xTCP.pxPeerSocket == NULL ) in prvTCPSocketCopy()
1107 pxSocket->u.xTCP.pxPeerSocket = pxNewSocket; in prvTCPSocketCopy()
DFreeRTOS_Sockets.c3219 pxClientSocket = pxSocket->u.xTCP.pxPeerSocket; in FreeRTOS_accept()
3228 pxSocket->u.xTCP.pxPeerSocket = NULL; in FreeRTOS_accept()
4964 …if( ( pxSocket->u.xTCP.pxPeerSocket != NULL ) && ( pxSocket->u.xTCP.pxPeerSocket->u.xTCP.bits.bPas… in vSocketSelect()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPHandleState/
DTCPHandleState_harness.c97 ensure_memory_is_valid( pxSocket->u.xTCP.pxPeerSocket, socketSize ) ) in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP/
DFreeRTOS_TCP_IP_utest.c1186 xSocket.u.xTCP.pxPeerSocket = &xParentSock; in test_vTCPStateChange_ClosedToEstablishedState_SelectWrite_QueuedBitSet_ParentNonNULL()
1209 TEST_ASSERT_EQUAL( &xSocket, xParentSock.u.xTCP.pxPeerSocket ); in test_vTCPStateChange_ClosedToEstablishedState_SelectWrite_QueuedBitSet_ParentNonNULL()
1210 TEST_ASSERT_EQUAL( NULL, xSocket.u.xTCP.pxPeerSocket ); in test_vTCPStateChange_ClosedToEstablishedState_SelectWrite_QueuedBitSet_ParentNonNULL()
1236 xSocket.u.xTCP.pxPeerSocket = &xParentSock; in test_vTCPStateChange_ClosedToEstablishedState_QueuedBitSet_ParentNonNULL_HasHandler()
1259 TEST_ASSERT_EQUAL( &xSocket, xParentSock.u.xTCP.pxPeerSocket ); in test_vTCPStateChange_ClosedToEstablishedState_QueuedBitSet_ParentNonNULL_HasHandler()
1260 TEST_ASSERT_EQUAL( NULL, xSocket.u.xTCP.pxPeerSocket ); in test_vTCPStateChange_ClosedToEstablishedState_QueuedBitSet_ParentNonNULL_HasHandler()
1287 xSocket.u.xTCP.pxPeerSocket = &xParentSock; in test_vTCPStateChange_ClosedToEstablishedState_QueuedBitSet_ParentNonNULL_HasHandler1()
1288 xParentSock.u.xTCP.pxPeerSocket = &xSocket; in test_vTCPStateChange_ClosedToEstablishedState_QueuedBitSet_ParentNonNULL_HasHandler1()
1311 TEST_ASSERT_EQUAL( &xSocket, xParentSock.u.xTCP.pxPeerSocket ); in test_vTCPStateChange_ClosedToEstablishedState_QueuedBitSet_ParentNonNULL_HasHandler1()
1312 TEST_ASSERT_EQUAL( NULL, xSocket.u.xTCP.pxPeerSocket ); in test_vTCPStateChange_ClosedToEstablishedState_QueuedBitSet_ParentNonNULL_HasHandler1()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_TCP_API_utest.c182 xServerSocket.u.xTCP.pxPeerSocket = &xPeerSocket; in test_FreeRTOS_accept_ClientSocketTaken()
189 TEST_ASSERT_EQUAL( NULL, xServerSocket.u.xTCP.pxPeerSocket ); in test_FreeRTOS_accept_ClientSocketTaken()
208 xServerSocket.u.xTCP.pxPeerSocket = NULL; in test_FreeRTOS_accept_PeerSocketNULL()
215 TEST_ASSERT_EQUAL( NULL, xServerSocket.u.xTCP.pxPeerSocket ); in test_FreeRTOS_accept_PeerSocketNULL()
235 xServerSocket.u.xTCP.pxPeerSocket = &xPeerSocket; in test_FreeRTOS_accept_NotReuseSocket()
247 TEST_ASSERT_EQUAL( NULL, xServerSocket.u.xTCP.pxPeerSocket ); in test_FreeRTOS_accept_NotReuseSocket()
271 xServerSocket.u.xTCP.pxPeerSocket = &xPeerSocket; in test_FreeRTOS_accept_ReuseSocket()
304 xServerSocket.u.xTCP.pxPeerSocket = &xPeerSocket; in test_FreeRTOS_accept_ReuseSocket_NULLAddress()
335 xServerSocket.u.xTCP.pxPeerSocket = &xPeerSocket; in test_FreeRTOS_accept_ReuseSocket_Timeout()
DFreeRTOS_Sockets_GenericAPI_utest.c3073 xSocket[ 3 ].u.xTCP.pxPeerSocket = &xPeerSocket; in test_vSocketSelect_TCPSocketsOnly()
3082 xSocket[ 4 ].u.xTCP.pxPeerSocket = &xPeerSocket1; in test_vSocketSelect_TCPSocketsOnly()
3083 xSocket[ 4 ].u.xTCP.pxPeerSocket->u.xTCP.bits.bPassAccept = pdTRUE; in test_vSocketSelect_TCPSocketsOnly()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_IP_Private.h582 struct xSOCKET * pxPeerSocket; /**< for server socket: child, for child socket: parent */ member