| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_UDP_API_utest.c | 137 void * pvBuffer; in test_FreeRTOS_recvfrom_NullSocket() local
143 …lReturn = FreeRTOS_recvfrom( xSocket, pvBuffer, uxBufferLength, xFlags, pxSourceAddress, pxSourceA… in test_FreeRTOS_recvfrom_NullSocket()
156 void * pvBuffer; in test_FreeRTOS_recvfrom_TCPSocket() local
168 …lReturn = FreeRTOS_recvfrom( xSocket, pvBuffer, uxBufferLength, xFlags, pxSourceAddress, pxSourceA… in test_FreeRTOS_recvfrom_TCPSocket()
181 void * pvBuffer; in test_FreeRTOS_recvfrom_NonBlockingInterrupted() local
197 …lReturn = FreeRTOS_recvfrom( xSocket, pvBuffer, uxBufferLength, xFlags, pxSourceAddress, pxSourceA… in test_FreeRTOS_recvfrom_NonBlockingInterrupted()
210 void * pvBuffer; in test_FreeRTOS_recvfrom_NonBlocking() local
226 …lReturn = FreeRTOS_recvfrom( xSocket, pvBuffer, uxBufferLength, xFlags, pxSourceAddress, pxSourceA… in test_FreeRTOS_recvfrom_NonBlocking()
239 void * pvBuffer; in test_FreeRTOS_recvfrom_NonBlockingFlagSet() local
254 …lReturn = FreeRTOS_recvfrom( xSocket, pvBuffer, uxBufferLength, xFlags, pxSourceAddress, pxSourceA… in test_FreeRTOS_recvfrom_NonBlockingFlagSet()
[all …]
|
| D | FreeRTOS_Sockets_TCP_API_utest.c | 367 uint8_t pvBuffer[ 1500 ]; in test_FreeRTOS_recv_InvalidValues() local
375 xReturn = FreeRTOS_recv( &xSocket, pvBuffer, uxBufferLength, xFlags ); in test_FreeRTOS_recv_InvalidValues()
379 xReturn = FreeRTOS_recv( NULL, pvBuffer, uxBufferLength, xFlags ); in test_FreeRTOS_recv_InvalidValues()
385 xReturn = FreeRTOS_recv( &xSocket, pvBuffer, uxBufferLength, xFlags ); in test_FreeRTOS_recv_InvalidValues()
402 uint8_t pvBuffer[ 1500 ]; in test_FreeRTOS_recv_NotConnectedAndNoMemory() local
410 xReturn = FreeRTOS_recv( &xSocket, pvBuffer, uxBufferLength, xFlags ); in test_FreeRTOS_recv_NotConnectedAndNoMemory()
418 xReturn = FreeRTOS_recv( &xSocket, pvBuffer, uxBufferLength, xFlags ); in test_FreeRTOS_recv_NotConnectedAndNoMemory()
429 uint8_t pvBuffer[ 1500 ]; in test_FreeRTOS_recv_EstablishedConnection_NoWait() local
441 xReturn = FreeRTOS_recv( &xSocket, pvBuffer, uxBufferLength, xFlags ); in test_FreeRTOS_recv_EstablishedConnection_NoWait()
453 uint8_t pvBuffer[ 1500 ]; in test_FreeRTOS_recv_TimeOut() local
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/stubs/ |
| D | freertos_api.c | 120 void * pvBuffer, in FreeRTOS_recvfrom() argument
135 __CPROVER_assert( pvBuffer != NULL, in FreeRTOS_recvfrom()
180 *( ( uint8_t ** ) pvBuffer ) = buffer; in FreeRTOS_recvfrom()
190 const void * pvBuffer, in FreeRTOS_sendto() argument
198 __CPROVER_assert( pvBuffer != NULL, in FreeRTOS_sendto()
232 void FreeRTOS_ReleaseUDPPayloadBuffer( void * pvBuffer ) in FreeRTOS_ReleaseUDPPayloadBuffer() argument
234 __CPROVER_assert( pvBuffer != NULL, in FreeRTOS_ReleaseUDPPayloadBuffer()
236 __CPROVER_assert( __CPROVER_POINTER_OFFSET( pvBuffer ) in FreeRTOS_ReleaseUDPPayloadBuffer()
240 free( pvBuffer - sizeof( UDPPacket_t ) ); in FreeRTOS_ReleaseUDPPayloadBuffer()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_Sockets.h | 233 const void * pvBuffer,
241 void * pvBuffer,
304 const void * pvBuffer,
310 void * pvBuffer,
324 void const * pvBuffer,
|
| D | FreeRTOS_IP_Utils.h | 84 NetworkBufferDescriptor_t * pxPacketBuffer_to_NetworkBuffer( const void * pvBuffer );
|
| D | FreeRTOS_IP.h | 319 void FreeRTOS_ReleaseUDPPayloadBuffer( void const * pvBuffer );
|
| D | FreeRTOS_IP_Private.h | 813 NetworkBufferDescriptor_t * pxUDPPayloadBuffer_to_NetworkBuffer( const void * pvBuffer );
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_IP_Utils.c | 120 static NetworkBufferDescriptor_t * prvPacketBuffer_to_NetworkBuffer( const void * pvBuffer,
220 static NetworkBufferDescriptor_t * prvPacketBuffer_to_NetworkBuffer( const void * pvBuffer, in prvPacketBuffer_to_NetworkBuffer() argument
226 if( pvBuffer == NULL ) in prvPacketBuffer_to_NetworkBuffer()
237 uxBuffer = ( uintptr_t ) pvBuffer; in prvPacketBuffer_to_NetworkBuffer()
272 NetworkBufferDescriptor_t * pxPacketBuffer_to_NetworkBuffer( const void * pvBuffer ) in pxPacketBuffer_to_NetworkBuffer() argument
274 return prvPacketBuffer_to_NetworkBuffer( pvBuffer, 0U ); in pxPacketBuffer_to_NetworkBuffer()
287 NetworkBufferDescriptor_t * pxUDPPayloadBuffer_to_NetworkBuffer( const void * pvBuffer ) in pxUDPPayloadBuffer_to_NetworkBuffer() argument
289 return prvPacketBuffer_to_NetworkBuffer( pvBuffer, sizeof( UDPPacket_t ) ); in pxUDPPayloadBuffer_to_NetworkBuffer()
|
| D | FreeRTOS_IP.c | 923 void FreeRTOS_ReleaseUDPPayloadBuffer( void const * pvBuffer ) in FreeRTOS_ReleaseUDPPayloadBuffer() argument
925 vReleaseNetworkBufferAndDescriptor( pxUDPPayloadBuffer_to_NetworkBuffer( pvBuffer ) ); in FreeRTOS_ReleaseUDPPayloadBuffer()
942 void const * pvBuffer, in FreeRTOS_ReleaseTCPPayloadBuffer() argument
951 configASSERT( pucData == ( uint8_t * ) pvBuffer ); in FreeRTOS_ReleaseTCPPayloadBuffer()
956 if( ( pucData == pvBuffer ) && ( uxBytesAvailable >= ( size_t ) xByteCount ) ) in FreeRTOS_ReleaseTCPPayloadBuffer()
|
| D | FreeRTOS_Sockets.c | 846 void * pvBuffer, in FreeRTOS_recvfrom() argument
988 ( void ) memcpy( pvBuffer, pvCopySource, ( size_t ) lReturn ); in FreeRTOS_recvfrom()
1001 …*( ( void ** ) pvBuffer ) = ( void * ) &( pxNetworkBuffer->pucEthernetBuffer[ ipUDP_PAYLOAD_OFFSET… in FreeRTOS_recvfrom()
1066 const void * pvBuffer, in FreeRTOS_sendto() argument
1089 configASSERT( pvBuffer != NULL ); in FreeRTOS_sendto()
1130 ( void ) memcpy( pvCopyDest, pvBuffer, uxTotalDataLength ); in FreeRTOS_sendto()
1144 pxNetworkBuffer = pxUDPPayloadBuffer_to_NetworkBuffer( pvBuffer ); in FreeRTOS_sendto()
3334 void * pvBuffer, in FreeRTOS_recv() argument
3352 ( pvBuffer == NULL ) ) in FreeRTOS_recv()
3496 ( uint8_t * ) pvBuffer, in FreeRTOS_recv()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DHCP/ |
| D | FreeRTOS_DHCP_utest.c | 71 void * pvBuffer, in RecvFromStub() argument
94 *( ( uint8_t ** ) pvBuffer ) = pucUDPBuffer; in RecvFromStub()
121 void * pvBuffer, in FreeRTOS_recvfrom_Generic() argument
130 *( ( uint8_t ** ) pvBuffer ) = ucGenericPtr; in FreeRTOS_recvfrom_Generic()
137 void * pvBuffer, in FreeRTOS_recvfrom_eWaitingOfferRecvfromLessBytesNoTimeout() argument
146 *( ( uint8_t ** ) pvBuffer ) = pucUDPBuffer; in FreeRTOS_recvfrom_eWaitingOfferRecvfromLessBytesNoTimeout()
155 void * pvBuffer, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsFalseCookieNoTimeout() argument
164 *( ( uint8_t ** ) pvBuffer ) = pucUDPBuffer; in FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsFalseCookieNoTimeout()
173 void * pvBuffer, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsFalseOpcodeNoTimeout() argument
182 *( ( uint8_t ** ) pvBuffer ) = pucUDPBuffer; in FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsFalseOpcodeNoTimeout()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/Zynq/ |
| D | x_emacpsif_dma.c | 127 void * pvBuffer = pxDMA_tx_buffers[ tail ]; in emacps_check_tx() local
130 if( pvBuffer != NULL ) in emacps_check_tx()
133 pxBuffer = pxPacketBuffer_to_NetworkBuffer( pvBuffer ); in emacps_check_tx()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/xilinx_ultrascale/ |
| D | x_emacpsif_dma.c | 158 void * pvBuffer = pxDMA_tx_buffers[ tail ]; in emacps_check_tx() local
161 if( pvBuffer != NULL ) in emacps_check_tx()
164 pxBuffer = pxPacketBuffer_to_NetworkBuffer( pvBuffer ); in emacps_check_tx()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/libslirp/ |
| D | MBuffNetifBackendLibslirp.c | 118 static slirp_ssize_t xSlirp_WriteCallback( const void * pvBuffer,
399 static slirp_ssize_t xSlirp_WriteCallback( const void * pvBuffer, in xSlirp_WriteCallback() argument
423 pvBuffer, in xSlirp_WriteCallback()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Utils/ |
| D | FreeRTOS_IP_Utils_utest.c | 188 const void * pvBuffer = NULL; in test_prvPacketBuffer_to_NetworkBuffer_NULLParam() local
191 pxNetworkBuffer = prvPacketBuffer_to_NetworkBuffer( pvBuffer, uxOffset ); in test_prvPacketBuffer_to_NetworkBuffer_NULLParam()
199 const void * pvBuffer; in test_prvPacketBuffer_to_NetworkBuffer_Unalligned() local
205 pvBuffer = ucEthBuf[ uxOffset + ipBUFFER_PADDING ]; in test_prvPacketBuffer_to_NetworkBuffer_Unalligned()
207 pxNetworkBuffer = prvPacketBuffer_to_NetworkBuffer( pvBuffer, uxOffset ); in test_prvPacketBuffer_to_NetworkBuffer_Unalligned()
215 const void * pvBuffer; in test_prvPacketBuffer_to_NetworkBuffer_Alligned() local
234 const void * pvBuffer; in test_pxUDPPayloadBuffer_to_NetworkBuffer() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/ |
| D | History.txt | 275 set, the void *pvBuffer parameter is interpreted as void **pvBuffer.
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP/ |
| D | FreeRTOS_IP_utest.c | 589 void * pvBuffer = ( void * ) 0xFFCDEA; in test_FreeRTOS_ReleaseUDPPayloadBuffer() local
591 …pxUDPPayloadBuffer_to_NetworkBuffer_ExpectAndReturn( pvBuffer, ( NetworkBufferDescriptor_t * ) 0x1… in test_FreeRTOS_ReleaseUDPPayloadBuffer()
594 FreeRTOS_ReleaseUDPPayloadBuffer( pvBuffer ); in test_FreeRTOS_ReleaseUDPPayloadBuffer()
|
