Searched refs:ppxNetworkBuffer (Results 1 – 9 of 9) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/include/ |
| D | aws_freertos_tcp_verification_access_tcp_define.h | 2 NetworkBufferDescriptor_t ** ppxNetworkBuffer, in publicTCPPrepareSend() argument
5 prvTCPPrepareSend( pxSocket, ppxNetworkBuffer, uxOptionsLength ); in publicTCPPrepareSend()
9 NetworkBufferDescriptor_t ** ppxNetworkBuffer ) in publicTCPHandleState() argument
11 prvTCPHandleState( pxSocket, ppxNetworkBuffer ); in publicTCPHandleState()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_TCP_Transmission.h | 46 NetworkBufferDescriptor_t ** ppxNetworkBuffer );
122 NetworkBufferDescriptor_t ** ppxNetworkBuffer,
143 NetworkBufferDescriptor_t ** ppxNetworkBuffer,
|
| D | FreeRTOS_TCP_State_Handling.h | 59 NetworkBufferDescriptor_t ** ppxNetworkBuffer );
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_TCP_State_Handling.c | 83 NetworkBufferDescriptor_t ** ppxNetworkBuffer,
499 NetworkBufferDescriptor_t ** ppxNetworkBuffer, in prvHandleEstablished() argument
509 …&( ( *ppxNetworkBuffer )->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + uxIPHeaderSizeSocket( pxSocket… in prvHandleEstablished()
634 xSendLength = prvTCPHandleFin( pxSocket, *ppxNetworkBuffer ); in prvHandleEstablished()
665 lSendResult = prvTCPPrepareSend( pxSocket, ppxNetworkBuffer, uxOptionsLength ); in prvHandleEstablished()
707 NetworkBufferDescriptor_t ** ppxNetworkBuffer ) in prvTCPHandleState() argument
715 …&( ( *ppxNetworkBuffer )->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + uxIPHeaderSizePacket( *ppxNetw… in prvTCPHandleState()
735 ulReceiveLength = ( uint32_t ) prvCheckRxData( *ppxNetworkBuffer, &pucRecvData ); in prvTCPHandleState()
758 if( prvStoreRxData( pxSocket, pucRecvData, *ppxNetworkBuffer, ulReceiveLength ) < 0 ) in prvTCPHandleState()
766 uxOptionsLength = prvSetOptions( pxSocket, *ppxNetworkBuffer ); in prvTCPHandleState()
[all …]
|
| D | FreeRTOS_TCP_Transmission.c | 199 NetworkBufferDescriptor_t ** ppxNetworkBuffer ) in prvTCPSendRepeated() argument
210 xSendLength = prvTCPPrepareSend( pxSocket, ppxNetworkBuffer, uxOptionsLength ); in prvTCPSendRepeated()
218 …prvTCPReturnPacket( pxSocket, *ppxNetworkBuffer, ( uint32_t ) xSendLength, ipconfigZERO_COPY_TX_DR… in prvTCPSendRepeated()
222 *ppxNetworkBuffer = NULL; in prvTCPSendRepeated()
808 NetworkBufferDescriptor_t ** ppxNetworkBuffer, in prvTCPPrepareSend() argument
821 if( ( *ppxNetworkBuffer ) != NULL ) in prvTCPPrepareSend()
824 pucEthernetBuffer = ( *ppxNetworkBuffer )->pucEthernetBuffer; in prvTCPPrepareSend()
858 … pxNewBuffer = prvTCPBufferResize( pxSocket, *ppxNetworkBuffer, lDataLen, uxOptionsLength ); in prvTCPPrepareSend()
862 *ppxNetworkBuffer = pxNewBuffer; in prvTCPPrepareSend()
1156 NetworkBufferDescriptor_t ** ppxNetworkBuffer, in prvSendData() argument
[all …]
|
| D | FreeRTOS_DNS.c | 800 static uint8_t * prvGetPayloadBuffer( NetworkBufferDescriptor_t ** ppxNetworkBuffer, in prvGetPayloadBuffer() argument
815 *ppxNetworkBuffer = pxGetNetworkBufferWithDescriptor( uxExpectedPayloadLength + in prvGetPayloadBuffer()
819 if( *ppxNetworkBuffer != NULL ) in prvGetPayloadBuffer()
821 pucUDPPayloadBuffer = &( ( *ppxNetworkBuffer )->pucEthernetBuffer[ uxHeaderBytes ] ); in prvGetPayloadBuffer()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPPrepareSend/ |
| D | TCPPrepareSend_harness.c | 43 NetworkBufferDescriptor_t ** ppxNetworkBuffer,
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPHandleState/ |
| D | TCPHandleState_harness.c | 62 NetworkBufferDescriptor_t ** ppxNetworkBuffer );
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling/ |
| D | FreeRTOS_TCP_State_Handling_utest.c | 65 NetworkBufferDescriptor_t ** ppxNetworkBuffer,
|
