Searched refs:rxStream (Results 1 – 12 of 12) sorted by relevance
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_TCP_API_utest.c | 581 xSocket.u.xTCP.rxStream = pvBuffer; in test_FreeRTOS_recv_12BytesAlreadyInBuffer() 583 uxStreamBufferGetSize_ExpectAndReturn( xSocket.u.xTCP.rxStream, 12 ); in test_FreeRTOS_recv_12BytesAlreadyInBuffer() 585 …uxStreamBufferGet_ExpectAndReturn( xSocket.u.xTCP.rxStream, 0U, pvBuffer, ( size_t ) uxBufferLengt… in test_FreeRTOS_recv_12BytesAlreadyInBuffer() 609 xSocket.u.xTCP.rxStream = pvBuffer; in test_FreeRTOS_recv_LowWaterReached() 612 uxStreamBufferGetSize_ExpectAndReturn( xSocket.u.xTCP.rxStream, 12 ); in test_FreeRTOS_recv_LowWaterReached() 614 …uxStreamBufferGet_ExpectAndReturn( xSocket.u.xTCP.rxStream, 0U, pvBuffer, ( size_t ) uxBufferLengt… in test_FreeRTOS_recv_LowWaterReached() 616 uxStreamBufferFrontSpace_ExpectAndReturn( xSocket.u.xTCP.rxStream, 12 ); in test_FreeRTOS_recv_LowWaterReached() 645 xSocket.u.xTCP.rxStream = pvBuffer; in test_FreeRTOS_recv_LowWaterReached2() 649 uxStreamBufferGetSize_ExpectAndReturn( xSocket.u.xTCP.rxStream, 12 ); in test_FreeRTOS_recv_LowWaterReached2() 651 …uxStreamBufferGet_ExpectAndReturn( xSocket.u.xTCP.rxStream, 0U, pvBuffer, ( size_t ) uxBufferLengt… in test_FreeRTOS_recv_LowWaterReached2() [all …]
|
| D | FreeRTOS_Sockets_privates_utest.c | 868 vPortFree_Expect( xSocket.u.xTCP.rxStream ); in test_vSocketClose_TCP_EverythingNonNULL() 901 vPortFree_Expect( xSocket.u.xTCP.rxStream ); in test_vSocketClose_TCP_LastAckMessageNonNULL() 931 xSocket.u.xTCP.rxStream = NULL; in test_vSocketClose_TCP_AllFieldsNonNULL() 1466 xSocket.u.xTCP.rxStream = NULL; in test_prvSockopt_so_buffer_InvalidOption3() 1490 xSocket.u.xTCP.rxStream = &xBuffer; in test_prvSockopt_so_buffer_InvalidOption4() 2617 TEST_ASSERT_EQUAL( ucStream, xSocket.u.xTCP.rxStream ); in test_prvTCPCreateStream() 2642 TEST_ASSERT_EQUAL( ucStream, xSocket.u.xTCP.rxStream ); in test_prvTCPCreateStream1() 2670 TEST_ASSERT_EQUAL( ucStream, xSocket.u.xTCP.rxStream ); in test_prvTCPCreateStream_LowAndHighFieldsDefined() 2830 xSocket.u.xTCP.rxStream = ucStream; in test_lTCPAddRxdata_LowWaterTrue()
|
| D | FreeRTOS_Sockets_GenericAPI_utest.c | 1786 xSocket.u.xTCP.rxStream = NULL; in test_FreeRTOS_setsockopt_RecvBuff() 1854 xSocket.u.xTCP.rxStream = 0x1234; in test_FreeRTOS_setsockopt_WinPropsInvalidRxStream() 3102 xSocket[ 6 ].u.xTCP.rxStream = ucStream; in test_vSocketSelect_TCPSocketsOnly()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/utility/ |
| D | memory_assignments.c | 20 pxSocket->u.xTCP.rxStream = safeMalloc( sizeof( StreamBuffer_t ) ); in ensure_FreeRTOS_Socket_t_is_allocated()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_Sockets.c | 1561 if( pxSocket->u.xTCP.rxStream != NULL ) in vSocketClose() 1563 iptraceMEM_STATS_DELETE( pxSocket->u.xTCP.rxStream ); in vSocketClose() 1564 vPortFreeLarge( pxSocket->u.xTCP.rxStream ); in vSocketClose() 1746 … ( ( lOptionName == FREERTOS_SO_RCVBUF ) && ( pxSocket->u.xTCP.rxStream != NULL ) ) ) in prvSockopt_so_buffer() 3359 if( pxSocket->u.xTCP.rxStream != NULL ) in FreeRTOS_recv() 3361 xByteCount = ( BaseType_t ) uxStreamBufferGetSize( pxSocket->u.xTCP.rxStream ); in FreeRTOS_recv() 3462 if( pxSocket->u.xTCP.rxStream != NULL ) in FreeRTOS_recv() 3464 xByteCount = ( BaseType_t ) uxStreamBufferGetSize( pxSocket->u.xTCP.rxStream ); in FreeRTOS_recv() 3494 uxStreamBufferGet( pxSocket->u.xTCP.rxStream, in FreeRTOS_recv() 3504 size_t uxFrontSpace = uxStreamBufferFrontSpace( pxSocket->u.xTCP.rxStream ); in FreeRTOS_recv() [all …]
|
| D | FreeRTOS_TCP_Reception.c | 552 if( pxSocket->u.xTCP.rxStream != NULL ) in prvStoreRxData() 554 ulSpace = ( uint32_t ) uxStreamBufferGetSpace( pxSocket->u.xTCP.rxStream ); in prvStoreRxData()
|
| D | FreeRTOS_TCP_Transmission.c | 326 if( pxSocket->u.xTCP.rxStream != NULL ) in prvTCPReturnPacket() 330 … ulFrontSpace = ( uint32_t ) uxStreamBufferFrontSpace( pxSocket->u.xTCP.rxStream ); in prvTCPReturnPacket()
|
| D | FreeRTOS_IP.c | 948 size_t uxBytesAvailable = uxStreamBufferGetPtr( xSocket->u.xTCP.rxStream, &( pucData ) ); in FreeRTOS_ReleaseTCPPayloadBuffer()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketClose/ |
| D | vSocketClose_harness.c | 79 pxSocket->u.xTCP.rxStream = malloc( sizeof( StreamBuffer_t ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Transmission/ |
| D | FreeRTOS_TCP_Transmission_utest.c | 357 pxSocket->u.xTCP.rxStream = NULL; in test_prvTCPReturnPacket_Null_Buffer_Null_Rx_Stream_KL() 443 pxSocket->u.xTCP.rxStream = ( StreamBuffer_t * ) 0x12345678; in test_prvTCPReturnPacket_No_KL() 479 pxSocket->u.xTCP.rxStream = ( StreamBuffer_t * ) 0x12345678; in test_prvTCPReturnPacket_No_KL_LocalIP() 522 pxSocket->u.xTCP.rxStream = ( StreamBuffer_t * ) 0x12345678; in test_prvTCPReturnPacket_No_KL_LocalIP_GT_Eth_Packet_Length() 564 pxSocket->u.xTCP.rxStream = ( StreamBuffer_t * ) 0x12345678; in test_prvTCPReturnPacket_No_KL_LocalIP_ARP_Not_Hit() 611 pxSocket->u.xTCP.rxStream = ( StreamBuffer_t * ) 0x12345678; in test_prvTCPReturnPacket_No_KL_Fin_Suppress_Rx_Stop() 650 pxSocket->u.xTCP.rxStream = ( StreamBuffer_t * ) 0x12345678; in test_prvTCPReturnPacket_No_KL_Fin_Not_Suppress_Low_Water() 689 pxSocket->u.xTCP.rxStream = ( StreamBuffer_t * ) 0x12345678; in test_prvTCPReturnPacket_No_KL_Fin_Not_Suppress_Big_Win() 1600 pxSocket->u.xTCP.rxStream = ( StreamBuffer_t * ) 0x12345678; in test_prvSendData_AckMsg_Not_Null_Small_Length() 1645 pxSocket->u.xTCP.rxStream = ( StreamBuffer_t * ) 0x12345678; in test_prvSendData_AckMsg_Not_Null_Same_NetBuffer_Syn_State() [all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Reception/ |
| D | FreeRTOS_TCP_Reception_utest.c | 722 xSocket.u.xTCP.rxStream = ( StreamBuffer_t * ) 0x12345678; in test_prvStoreRxData_Happy_Path() 823 xSocket.u.xTCP.rxStream = NULL; in test_prvStoreRxData_Null_RxStream() 856 xSocket.u.xTCP.rxStream = NULL; in test_prvStoreRxData_Negative_Offset() 892 xSocket.u.xTCP.rxStream = NULL; in test_prvStoreRxData_None_Zero_Skipcount()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_IP_Private.h | 594 … StreamBuffer_t * rxStream; /**< The pointer to the receive stream buffer. */ member
|