Searched refs:ppxNetworkBuffer (Results 1 – 8 of 8) sorted by relevance
| /FreeRTOS-Plus-TCP-v3.1.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-v3.1.0/source/include/ |
| D | FreeRTOS_TCP_Transmission.h | 46 NetworkBufferDescriptor_t ** ppxNetworkBuffer );
73 NetworkBufferDescriptor_t ** ppxNetworkBuffer,
94 NetworkBufferDescriptor_t ** ppxNetworkBuffer,
|
| D | FreeRTOS_TCP_State_Handling.h | 59 NetworkBufferDescriptor_t ** ppxNetworkBuffer );
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_TCP_State_Handling.c | 83 NetworkBufferDescriptor_t ** ppxNetworkBuffer,
500 NetworkBufferDescriptor_t ** ppxNetworkBuffer, in prvHandleEstablished() argument
510 …&( ( *ppxNetworkBuffer )->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + uxIPHeaderSizeSocket( pxSocket… in prvHandleEstablished()
635 xSendLength = prvTCPHandleFin( pxSocket, *ppxNetworkBuffer ); in prvHandleEstablished()
666 lSendResult = prvTCPPrepareSend( pxSocket, ppxNetworkBuffer, uxOptionsLength ); in prvHandleEstablished()
708 NetworkBufferDescriptor_t ** ppxNetworkBuffer ) in prvTCPHandleState() argument
716 …&( ( *ppxNetworkBuffer )->pucEthernetBuffer[ ipSIZE_OF_ETH_HEADER + xIPHeaderSize( *ppxNetworkBuff… in prvTCPHandleState()
736 ulReceiveLength = ( uint32_t ) prvCheckRxData( *ppxNetworkBuffer, &pucRecvData ); in prvTCPHandleState()
759 if( prvStoreRxData( pxSocket, pucRecvData, *ppxNetworkBuffer, ulReceiveLength ) < 0 ) in prvTCPHandleState()
767 uxOptionsLength = prvSetOptions( pxSocket, *ppxNetworkBuffer ); in prvTCPHandleState()
[all …]
|
| D | FreeRTOS_TCP_Transmission.c | 207 NetworkBufferDescriptor_t ** ppxNetworkBuffer ) in prvTCPSendRepeated() argument
218 xSendLength = prvTCPPrepareSend( pxSocket, ppxNetworkBuffer, uxOptionsLength ); in prvTCPSendRepeated()
226 …prvTCPReturnPacket( pxSocket, *ppxNetworkBuffer, ( uint32_t ) xSendLength, ipconfigZERO_COPY_TX_DR… in prvTCPSendRepeated()
230 *ppxNetworkBuffer = NULL; in prvTCPSendRepeated()
950 NetworkBufferDescriptor_t ** ppxNetworkBuffer, in prvTCPPrepareSend() argument
963 if( ( *ppxNetworkBuffer ) != NULL ) in prvTCPPrepareSend()
966 pucEthernetBuffer = ( *ppxNetworkBuffer )->pucEthernetBuffer; in prvTCPPrepareSend()
1000 … pxNewBuffer = prvTCPBufferResize( pxSocket, *ppxNetworkBuffer, lDataLen, uxOptionsLength ); in prvTCPPrepareSend()
1004 *ppxNetworkBuffer = pxNewBuffer; in prvTCPPrepareSend()
1298 NetworkBufferDescriptor_t ** ppxNetworkBuffer, in prvSendData() argument
[all …]
|
| D | FreeRTOS_DNS.c | 350 static uint8_t * prvGetPayloadBuffer( NetworkBufferDescriptor_t ** ppxNetworkBuffer, in prvGetPayloadBuffer() argument
369 *ppxNetworkBuffer = pxGetNetworkBufferWithDescriptor( uxExpectedPayloadLength + in prvGetPayloadBuffer()
373 if( *ppxNetworkBuffer != NULL ) in prvGetPayloadBuffer()
375 pucUDPPayloadBuffer = &( ( *ppxNetworkBuffer )->pucEthernetBuffer[ uxHeaderBytes ] ); in prvGetPayloadBuffer()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPPrepareSend/ |
| D | TCPPrepareSend_harness.c | 43 NetworkBufferDescriptor_t ** ppxNetworkBuffer,
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPHandleState/ |
| D | TCPHandleState_harness.c | 60 NetworkBufferDescriptor_t ** ppxNetworkBuffer );
|
