/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/WinPCap/ |
HD | FaultInjection.c | 33 NetworkBufferDescriptor_t * pxReturn = NULL; in prvGetCachedPacket() local 39 pxReturn = xNetworkBufferCache[ x ]; in prvGetCachedPacket() 45 return pxReturn; in prvGetCachedPacket() 52 NetworkBufferDescriptor_t * pxReturn; in prvDuplicatePacket() local 55 pxReturn = pxGetNetworkBufferWithDescriptor( pxOriginalPacket->xDataLength, 0 ); in prvDuplicatePacket() 57 if( pxReturn != NULL ) in prvDuplicatePacket() 60 pxReturn->xDataLength = pxOriginalPacket->xDataLength; in prvDuplicatePacket() 61 memcpy( pxReturn->pucEthernetBuffer, pucPacketData, pxOriginalPacket->xDataLength ); in prvDuplicatePacket() 64 return pxReturn; in prvDuplicatePacket() 72 NetworkBufferDescriptor_t * pxReturn = pxNetworkBufferIn; in prvRxFaultInjection() local [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/source/ |
HD | FreeRTOS_TCP_State_Handling_IPv4.c | 81 FreeRTOS_Socket_t * pxReturn = NULL; in prvHandleListen_IPV4() local 119 pxReturn = pxSocket; in prvHandleListen_IPV4() 127 pxReturn = NULL; in prvHandleListen_IPV4() 157 pxReturn = pxNewSocket; in prvHandleListen_IPV4() 167 if( ( ulInitialSequenceNumber != 0U ) && ( pxReturn != NULL ) ) in prvHandleListen_IPV4() 180 pxReturn->pxEndPoint = pxNetworkBuffer->pxEndPoint; in prvHandleListen_IPV4() 181 pxReturn->bits.bIsIPv6 = pdFALSE_UNSIGNED; in prvHandleListen_IPV4() 182 pxReturn->u.xTCP.usRemotePort = FreeRTOS_htons( pxTCPPacket->xTCPHeader.usSourcePort ); in prvHandleListen_IPV4() 183 … pxReturn->u.xTCP.xRemoteIP.ulIP_IPv4 = FreeRTOS_htonl( pxTCPPacket->xIPHeader.ulSourceIPAddress ); in prvHandleListen_IPV4() 184 pxReturn->u.xTCP.xTCPWindow.ulOurSequenceNumber = ulInitialSequenceNumber; in prvHandleListen_IPV4() [all …]
|
HD | FreeRTOS_TCP_State_Handling_IPv6.c | 79 FreeRTOS_Socket_t * pxReturn = NULL; in prvHandleListen_IPV6() local 114 pxReturn = pxSocket; in prvHandleListen_IPV6() 122 pxReturn = NULL; in prvHandleListen_IPV6() 152 pxReturn = pxNewSocket; in prvHandleListen_IPV6() 162 if( ( xHasSequence != pdFALSE ) && ( pxReturn != NULL ) ) in prvHandleListen_IPV6() 174 pxReturn->pxEndPoint = pxNetworkBuffer->pxEndPoint; in prvHandleListen_IPV6() 175 pxReturn->bits.bIsIPv6 = pdTRUE_UNSIGNED; in prvHandleListen_IPV6() 182 pxReturn->u.xTCP.usRemotePort = FreeRTOS_ntohs( pxTCPPacket->xTCPHeader.usSourcePort ); in prvHandleListen_IPV6() 183 …( void ) memcpy( pxReturn->u.xTCP.xRemoteIP.xIP_IPv6.ucBytes, pxIPHeader_IPv6->xSourceAddress.ucBy… in prvHandleListen_IPV6() 184 pxReturn->u.xTCP.xTCPWindow.ulOurSequenceNumber = ulInitialSequenceNumber; in prvHandleListen_IPV6() [all …]
|
HD | FreeRTOS_Routing.c | 223 NetworkInterface_t * pxReturn; in FreeRTOS_NextNetworkInterface() local 227 pxReturn = pxInterface->pxNext; in FreeRTOS_NextNetworkInterface() 231 pxReturn = NULL; in FreeRTOS_NextNetworkInterface() 234 return pxReturn; in FreeRTOS_NextNetworkInterface() 741 NetworkEndPoint_t * pxReturn = NULL; in pxEasyFit() local 853 pxReturn = pxFound[ xIndex ]; in pxEasyFit() 859 if( pxReturn == NULL ) in pxEasyFit() 885 return pxReturn; in pxEasyFit() 1281 NetworkEndPoint_t * pxReturn = NULL; in FreeRTOS_FindGateWay() local 1289 pxReturn = pxNetworkEndPoints; in FreeRTOS_FindGateWay() [all …]
|
HD | FreeRTOS_TCP_Transmission.c | 629 NetworkBufferDescriptor_t * pxReturn; in prvTCPBufferResize() local 679 pxReturn = pxGetNetworkBufferWithDescriptor( uxNeeded, 0U ); in prvTCPBufferResize() 681 if( pxReturn != NULL ) in prvTCPBufferResize() 684 pxReturn->xDataLength = uxNeeded; in prvTCPBufferResize() 690 …( void ) memcpy( pxReturn->pucEthernetBuffer, pxNetworkBuffer->pucEthernetBuffer, pxNetworkBuffer-… in prvTCPBufferResize() 698 …( void ) memcpy( pxReturn->pucEthernetBuffer, pxSocket->u.xTCP.xPacket.u.ucLastPacket, sizeof( pxS… in prvTCPBufferResize() 706 pxReturn = pxNetworkBuffer; in prvTCPBufferResize() 711 return pxReturn; in prvTCPBufferResize()
|
HD | FreeRTOS_TCP_WIN.c | 485 TCPSegment_t * pxSegment, * pxReturn = NULL; in xTCPWindowRxFind() local 503 pxReturn = pxSegment; in xTCPWindowRxFind() 508 return pxReturn; in xTCPWindowRxFind() 677 TCPSegment_t * pxReturn; in xTCPWindowPeekHead() local 682 pxReturn = NULL; in xTCPWindowPeekHead() 687 pxReturn = ( ( TCPSegment_t * ) listGET_LIST_ITEM_OWNER( pxItem ) ); in xTCPWindowPeekHead() 690 return pxReturn; in xTCPWindowPeekHead()
|
HD | FreeRTOS_Sockets.c | 4961 const struct xSTREAM_BUFFER * pxReturn = NULL; in FreeRTOS_get_rx_buf() local 4968 pxReturn = pxSocket->u.xTCP.rxStream; in FreeRTOS_get_rx_buf() 4971 return pxReturn; in FreeRTOS_get_rx_buf()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling_IPv4/ |
HD | FreeRTOS_TCP_State_Handling_IPv4_utest.c | 79 FreeRTOS_Socket_t * pxReturn = NULL; in test_prvHandleListen_IPV4_NotForMe() local 106 FreeRTOS_Socket_t * pxReturn = NULL; in test_prvHandleListen_IPV4_ReuseSocket() local 128 pxReturn = prvHandleListen_IPV4( pxSocket, pxNetworkBuffer ); in test_prvHandleListen_IPV4_ReuseSocket() 130 TEST_ASSERT_EQUAL( pxSocket, pxReturn ); in test_prvHandleListen_IPV4_ReuseSocket() 131 TEST_ASSERT_EQUAL( 1000, pxReturn->u.xTCP.xTCPWindow.ulOurSequenceNumber ); in test_prvHandleListen_IPV4_ReuseSocket() 139 FreeRTOS_Socket_t * pxReturn = NULL; in test_prvHandleListen_IPV4_NewSocketExceedLimit() local 160 pxReturn = prvHandleListen_IPV4( pxSocket, pxNetworkBuffer ); in test_prvHandleListen_IPV4_NewSocketExceedLimit() 162 TEST_ASSERT_EQUAL( NULL, pxReturn ); in test_prvHandleListen_IPV4_NewSocketExceedLimit() 170 FreeRTOS_Socket_t * pxReturn = NULL; in test_prvHandleListen_IPV4_NewSocketGood() local 197 pxReturn = prvHandleListen_IPV4( pxSocket, pxNetworkBuffer ); in test_prvHandleListen_IPV4_NewSocketGood() [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/BufferManagement/ |
HD | BufferAllocation_1.c | 236 NetworkBufferDescriptor_t * pxReturn = NULL; in pxGetNetworkBufferWithDescriptor() local 254 … pxReturn = ( NetworkBufferDescriptor_t * ) listGET_OWNER_OF_HEAD_ENTRY( &xFreeBuffersList ); in pxGetNetworkBufferWithDescriptor() 256 if( ( bIsValidNetworkDescriptor( pxReturn ) != pdFALSE_UNSIGNED ) && in pxGetNetworkBufferWithDescriptor() 257 listIS_CONTAINED_WITHIN( &xFreeBuffersList, &( pxReturn->xBufferListItem ) ) ) in pxGetNetworkBufferWithDescriptor() 259 ( void ) uxListRemove( &( pxReturn->xBufferListItem ) ); in pxGetNetworkBufferWithDescriptor() 277 pxReturn, bIsValidNetworkDescriptor( pxReturn ) ) ); in pxGetNetworkBufferWithDescriptor() 278 pxReturn = NULL; in pxGetNetworkBufferWithDescriptor() 292 pxReturn->xDataLength = xRequestedSizeBytes; in pxGetNetworkBufferWithDescriptor() 293 pxReturn->pxInterface = NULL; in pxGetNetworkBufferWithDescriptor() 294 pxReturn->pxEndPoint = NULL; in pxGetNetworkBufferWithDescriptor() [all …]
|
HD | BufferAllocation_2.c | 233 NetworkBufferDescriptor_t * pxReturn = NULL; in pxGetNetworkBufferWithDescriptor() local 246 … pxReturn = ( NetworkBufferDescriptor_t * ) listGET_OWNER_OF_HEAD_ENTRY( &xFreeBuffersList ); in pxGetNetworkBufferWithDescriptor() 247 ( void ) uxListRemove( &( pxReturn->xBufferListItem ) ); in pxGetNetworkBufferWithDescriptor() 260 configASSERT( pxReturn->pucEthernetBuffer == NULL ); in pxGetNetworkBufferWithDescriptor() 282 …pxReturn->pucEthernetBuffer = ( uint8_t * ) pvPortMalloc( xRequestedSizeBytesCopy + ipBUFFER_PADDI… in pxGetNetworkBufferWithDescriptor() 284 if( pxReturn->pucEthernetBuffer == NULL ) in pxGetNetworkBufferWithDescriptor() 289 vReleaseNetworkBufferAndDescriptor( pxReturn ); in pxGetNetworkBufferWithDescriptor() 290 pxReturn = NULL; in pxGetNetworkBufferWithDescriptor() 301 … *( ( NetworkBufferDescriptor_t ** ) ( pxReturn->pucEthernetBuffer ) ) = pxReturn; in pxGetNetworkBufferWithDescriptor() 302 pxReturn->pucEthernetBuffer += ipBUFFER_PADDING; in pxGetNetworkBufferWithDescriptor() [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling_IPv6/ |
HD | FreeRTOS_TCP_State_Handling_IPv6_utest.c | 84 FreeRTOS_Socket_t * pxReturn; in test_prvHandleListen_IPV6_NullSocket() local 88 pxReturn = prvHandleListen_IPV6( NULL, pxNetworkBuffer ); in test_prvHandleListen_IPV6_NullSocket() 90 TEST_ASSERT_EQUAL( NULL, pxReturn ); in test_prvHandleListen_IPV6_NullSocket() 98 FreeRTOS_Socket_t * pxReturn; in test_prvHandleListen_IPV6_NullNetworkBuffer() local 102 pxReturn = prvHandleListen_IPV6( pxSocket, NULL ); in test_prvHandleListen_IPV6_NullNetworkBuffer() 104 TEST_ASSERT_EQUAL( NULL, pxReturn ); in test_prvHandleListen_IPV6_NullNetworkBuffer() 112 FreeRTOS_Socket_t * pxReturn; in test_prvHandleListen_IPV6_NullEndpoint() local 127 FreeRTOS_Socket_t * pxReturn; in test_prvHandleListen_IPV6_DifferentIP() local 144 pxReturn = prvHandleListen_IPV6( pxSocket, pxNetworkBuffer ); in test_prvHandleListen_IPV6_DifferentIP() 146 TEST_ASSERT_EQUAL( NULL, pxReturn ); in test_prvHandleListen_IPV6_DifferentIP() [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/pic32mzef/ |
HD | BufferAllocation_2.c | 386 NetworkBufferDescriptor_t * pxReturn = NULL; in pxGetNetworkBufferWithDescriptor() local 417 … pxReturn = ( NetworkBufferDescriptor_t * ) listGET_OWNER_OF_HEAD_ENTRY( &xFreeBuffersList ); in pxGetNetworkBufferWithDescriptor() 418 uxListRemove( &( pxReturn->xBufferListItem ) ); in pxGetNetworkBufferWithDescriptor() 431 configASSERT( pxReturn->pucEthernetBuffer == NULL ); in pxGetNetworkBufferWithDescriptor() 439 …pxReturn->pucEthernetBuffer = NetworkBufferAllocate( xRequestedSizeBytes - sizeof( TCPIP_MAC_ETHER… in pxGetNetworkBufferWithDescriptor() 441 …pxReturn->pucEthernetBuffer = ( uint8_t * ) pvPortMalloc( xRequestedSizeBytes + ipBUFFER_PADDING ); in pxGetNetworkBufferWithDescriptor() 444 if( pxReturn->pucEthernetBuffer == NULL ) in pxGetNetworkBufferWithDescriptor() 449 vReleaseNetworkBufferAndDescriptor( pxReturn ); in pxGetNetworkBufferWithDescriptor() 450 pxReturn = NULL; in pxGetNetworkBufferWithDescriptor() 459 …*( ( NetworkBufferDescriptor_t ** ) ( pxReturn->pucEthernetBuffer - ipBUFFER_PADDING ) ) = pxRetur… in pxGetNetworkBufferWithDescriptor() [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessIPPacket_IPv6/prvAllowIPPacketIPv6/ |
HD | prvAllowIPPacketIPv6_harness.c | 20 … NetworkEndPoint_t * pxReturn = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in FreeRTOS_FindEndPointOnIP_IPv6() local 24 return pxReturn; in FreeRTOS_FindEndPointOnIP_IPv6() 39 … NetworkEndPoint_t * pxReturn = ( NetworkEndPoint_t * ) safeMalloc( sizeof( NetworkEndPoint_t ) ); in FreeRTOS_FindEndPointOnMAC() local 43 return pxReturn; in FreeRTOS_FindEndPointOnMAC()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/ |
HD | FreeRTOS_Sockets_stubs.c | 95 const ListItem_t * pxReturn ) in vpxListFindListItemWithValue_Found() argument 99 … listGET_NEXT_ExpectAndReturn( ( ListItem_t * ) &( pxList->xListEnd ), ( ListItem_t * ) pxReturn ); in vpxListFindListItemWithValue_Found() 101 listGET_LIST_ITEM_VALUE_ExpectAndReturn( pxReturn, xWantedItemValue ); in vpxListFindListItemWithValue_Found()
|
HD | FreeRTOS_Sockets_TCP_API_utest.c | 78 FreeRTOS_Socket_t xServerSocket, * pxReturn; in test_FreeRTOS_accept_InvalidParams() local 86 pxReturn = FreeRTOS_accept( &xServerSocket, &xAddress, &xAddressLength ); in test_FreeRTOS_accept_InvalidParams() 87 TEST_ASSERT_EQUAL( FREERTOS_INVALID_SOCKET, pxReturn ); in test_FreeRTOS_accept_InvalidParams() 90 pxReturn = FreeRTOS_accept( NULL, &xAddress, &xAddressLength ); in test_FreeRTOS_accept_InvalidParams() 91 TEST_ASSERT_EQUAL( FREERTOS_INVALID_SOCKET, pxReturn ); in test_FreeRTOS_accept_InvalidParams() 96 pxReturn = FreeRTOS_accept( &xServerSocket, &xAddress, &xAddressLength ); in test_FreeRTOS_accept_InvalidParams() 97 TEST_ASSERT_EQUAL( FREERTOS_INVALID_SOCKET, pxReturn ); in test_FreeRTOS_accept_InvalidParams() 103 pxReturn = FreeRTOS_accept( &xServerSocket, &xAddress, &xAddressLength ); in test_FreeRTOS_accept_InvalidParams() 104 TEST_ASSERT_EQUAL( FREERTOS_INVALID_SOCKET, pxReturn ); in test_FreeRTOS_accept_InvalidParams() 112 FreeRTOS_Socket_t xServerSocket, * pxReturn, xPeerSocket; in test_FreeRTOS_accept_ClientSocketTaken() local [all …]
|
HD | FreeRTOS_Sockets_privates_utest.c | 1737 const ListItem_t * pxReturn; in test_pxListFindListItemWithValue_NULLList() local 1743 pxReturn = pxListFindListItemWithValue( NULL, xWantedItemValue ); in test_pxListFindListItemWithValue_NULLList() 1745 TEST_ASSERT_EQUAL( NULL, pxReturn ); in test_pxListFindListItemWithValue_NULLList() 1753 const ListItem_t * pxReturn; in test_pxListFindListItemWithValue_IPTaskNotReady() local 1759 pxReturn = pxListFindListItemWithValue( &xList, xWantedItemValue ); in test_pxListFindListItemWithValue_IPTaskNotReady() 1761 TEST_ASSERT_EQUAL( NULL, pxReturn ); in test_pxListFindListItemWithValue_IPTaskNotReady() 1769 const ListItem_t * pxReturn; in test_pxListFindListItemWithValue_ListLengthZero() local 1777 pxReturn = pxListFindListItemWithValue( &xList, xWantedItemValue ); in test_pxListFindListItemWithValue_ListLengthZero() 1779 TEST_ASSERT_EQUAL( NULL, pxReturn ); in test_pxListFindListItemWithValue_ListLengthZero() 1787 const ListItem_t * pxReturn; in test_pxListFindListItemWithValue_NotFound() local [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig2/ |
HD | FreeRTOS_Sockets_DiffConfig2_TCP_API_utest.c | 63 FreeRTOS_Socket_t xServerSocket, * pxReturn, xPeerSocket; in test_FreeRTOS_accept_ReuseIPv6Socket() local 84 pxReturn = FreeRTOS_accept( &xServerSocket, &xAddress, &xAddressLength ); in test_FreeRTOS_accept_ReuseIPv6Socket() 85 TEST_ASSERT_EQUAL( &xServerSocket, pxReturn ); in test_FreeRTOS_accept_ReuseIPv6Socket()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/RA/vReceiveRA_ReadReply/ |
HD | ReceiveRA_ReadReply_harness.c | 56 ICMPPrefixOption_IPv6_t * pxReturn; in harness() local 69 pxReturn = __CPROVER_file_local_FreeRTOS_RA_c_vReceiveRA_ReadReply( pxNetworkBuffer ); in harness()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv4_Sockets/ |
HD | FreeRTOS_IPv4_Sockets_utest.c | 202 void * pxReturn; in test_xSend_UDP_Update_IPv4_HappyCase() local 219 pxReturn = xSend_UDP_Update_IPv4( &xNetworkBuffer, &xDestinationAddress ); in test_xSend_UDP_Update_IPv4_HappyCase() 230 void * pxReturn; in test_xSend_UDP_Update_IPv4_NullNetworkBuffer() local 247 pxReturn = xSend_UDP_Update_IPv4( NULL, &xDestinationAddress ); in test_xSend_UDP_Update_IPv4_NullNetworkBuffer() 258 void * pxReturn; in test_xSend_UDP_Update_IPv4_NullDestinationAddress() local 275 pxReturn = xSend_UDP_Update_IPv4( &xNetworkBuffer, NULL ); in test_xSend_UDP_Update_IPv4_NullDestinationAddress()
|
/FreeRTOS-Plus-TCP-v4.0.0/tools/tcp_utilities/ |
HD | tcp_mem_stats.c | 134 TCP_ALLOCATION_t * pxReturn; in pxRemoveAllocation() local 156 pxReturn = &( xAllocation ); in pxRemoveAllocation() 160 pxReturn = NULL; in pxRemoveAllocation() 164 return pxReturn; in pxRemoveAllocation()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Utils_DiffConfig/ |
HD | FreeRTOS_IP_Utils_DiffConfig_utest.c | 81 NetworkBufferDescriptor_t * pxReturn; in test_pxPacketBuffer_to_NetworkBuffer() local 83 pxReturn = pxPacketBuffer_to_NetworkBuffer( NULL ); in test_pxPacketBuffer_to_NetworkBuffer() 85 TEST_ASSERT_EQUAL( NULL, pxReturn ); in test_pxPacketBuffer_to_NetworkBuffer()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Utils/ |
HD | FreeRTOS_IP_Utils_utest.c | 110 NetworkBufferDescriptor_t * pxReturn; in test_pxDuplicateNetworkBufferWithDescriptor_NULLReturned() local 118 pxReturn = pxDuplicateNetworkBufferWithDescriptor( pxNetworkBuffer, uxNewLength ); in test_pxDuplicateNetworkBufferWithDescriptor_NULLReturned() 120 TEST_ASSERT_EQUAL( NULL, pxReturn ); in test_pxDuplicateNetworkBufferWithDescriptor_NULLReturned() 130 NetworkBufferDescriptor_t * pxReturn; in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned() local 152 pxReturn = pxDuplicateNetworkBufferWithDescriptor( pxNetworkBuffer, uxNewLength ); in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned() 154 TEST_ASSERT_EQUAL( &xNetworkBuffer2, pxReturn ); in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned() 169 NetworkBufferDescriptor_t * pxReturn; in test_pxDuplicateNetworkBufferWithDescriptor_SmallerBufferReturned() local 191 pxReturn = pxDuplicateNetworkBufferWithDescriptor( pxNetworkBuffer, uxNewLength ); in test_pxDuplicateNetworkBufferWithDescriptor_SmallerBufferReturned() 193 TEST_ASSERT_EQUAL( &xNetworkBuffer2, pxReturn ); in test_pxDuplicateNetworkBufferWithDescriptor_SmallerBufferReturned() 208 NetworkBufferDescriptor_t * pxReturn; in test_pxDuplicateNetworkBufferWithDescriptor_NullBufferReturned() local [all …]
|