/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvHandleListen/ |
D | prvHandleListen_harness.c | 58 size_t xDataLength; in harness() local 63 __CPROVER_assume( xDataLength >= sizeof( TCPPacket_t ) && xDataLength <= ipconfigNETWORK_MTU ); in harness() 71 pxNetworkBuffer->pucEthernetBuffer = ( uint8_t * ) safeMalloc( xDataLength ); in harness() 76 pxNetworkBuffer->xDataLength = xDataLength; in harness()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvHandleListen_IPv6/ |
D | prvHandleListen_IPv6_harness.c | 58 size_t xDataLength; in harness() local 63 …__CPROVER_assume( xDataLength >= sizeof( TCPPacket_IPv6_t ) && xDataLength <= ipconfigNETWORK_MTU … in harness() 71 pxNetworkBuffer->pucEthernetBuffer = ( uint8_t * ) safeMalloc( xDataLength ); in harness() 76 pxNetworkBuffer->xDataLength = xDataLength; in harness()
|
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/LPC17xx/ |
D | NetworkInterface.c | 142 …if( pxNetworkBuffer->xDataLength < EMAC_ETH_MAX_FLEN ) /*_RB_ The size needs to come from FreeRTOS… in xNetworkInterfaceOutput() 152 EMAC_StartTransmitNextBuffer( pxNetworkBuffer->xDataLength ); in xNetworkInterfaceOutput() 208 size_t xDataLength; in prvEMACHandlerTask() local 233 xDataLength = ( size_t ) EMAC_GetReceiveDataSize() - ( usCRCLength - 1U ); in prvEMACHandlerTask() 235 if( xDataLength > 0U ) in prvEMACHandlerTask() 246 pxNetworkBuffer->xDataLength = xDataLength; in prvEMACHandlerTask()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_DiffConfig/ |
D | FreeRTOS_IP_DiffConfig_utest.c | 190 pxNetworkBuffer->xDataLength = sizeof( EthernetHeader_t ) - 1; in test_prvProcessIPEventsAndTimers_eNetworkRxEvent_MoreSpace() 336 xNetworkBuffer.xDataLength = ipconfigETHERNET_MINIMUM_PACKET_BYTES; in test_vReturnEthernetFrame_DuplicationFailed() 338 …teNetworkBufferWithDescriptor_ExpectAndReturn( &xNetworkBuffer, xNetworkBuffer.xDataLength, NULL ); in test_vReturnEthernetFrame_DuplicationFailed() 379 pxNetworkBuffer->xDataLength = ipconfigETHERNET_MINIMUM_PACKET_BYTES; in test_vReturnEthernetFrame_DuplicationSuccess() 382 …kBufferWithDescriptor_ExpectAndReturn( &xNetworkBuffer, xNetworkBuffer.xDataLength, &xDuplicateNet… in test_vReturnEthernetFrame_DuplicationSuccess() 392 TEST_ASSERT_EQUAL( ipconfigETHERNET_MINIMUM_PACKET_BYTES, pxNetworkBuffer->xDataLength ); in test_vReturnEthernetFrame_DuplicationSuccess() 393 TEST_ASSERT_EQUAL( xNetworkBuffer.xDataLength, xDuplicateNetworkBuffer.xDataLength ); in test_vReturnEthernetFrame_DuplicationSuccess() 434 pxNetworkBuffer->xDataLength = ipconfigETHERNET_MINIMUM_PACKET_BYTES; in test_vReturnEthernetFrame_DuplicationSuccessCacheHit() 437 …kBufferWithDescriptor_ExpectAndReturn( &xNetworkBuffer, xNetworkBuffer.xDataLength, &xDuplicateNet… in test_vReturnEthernetFrame_DuplicationSuccessCacheHit() 448 TEST_ASSERT_EQUAL( ipconfigETHERNET_MINIMUM_PACKET_BYTES, pxNetworkBuffer->xDataLength ); in test_vReturnEthernetFrame_DuplicationSuccessCacheHit() [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/libslirp/ |
D | MBuffNetworkInterface.c | 214 configASSERT( pxDescriptor->xDataLength >= NETWORK_BUFFER_LEN ); in vNetifReceiveTask() 220 pxDescriptor->xDataLength, in vNetifReceiveTask() 228 pxDescriptor->xDataLength = uxMessageLen; in vNetifReceiveTask() 255 pxDescriptor->xDataLength ) ); in vNetifReceiveTask() 288 configASSERT( pxNetworkBuffer->xDataLength >= sizeof( EthernetHeader_t ) ); in xNetworkInterfaceOutput() 290 … xMessageBufferSpacesAvailable( pxDriverCtx->xSendMsgBuffer ) > pxNetworkBuffer->xDataLength + 4U ) in xNetworkInterfaceOutput() 295 pxNetworkBuffer->xDataLength, in xNetworkInterfaceOutput() 298 configASSERT( uxBytesSent == pxNetworkBuffer->xDataLength ); in xNetworkInterfaceOutput() 304 pxNetworkBuffer->xDataLength ) ); in xNetworkInterfaceOutput()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6/ |
D | FreeRTOS_IPv6_utest.c | 104 …_ExpectAndReturn( pxNetworkBuffer->pucEthernetBuffer, pxNetworkBuffer->xDataLength, pdFALSE, ipCOR… in test_prvAllowIPPacketIPv6_HappyPath() 124 …_ExpectAndReturn( pxNetworkBuffer->pucEthernetBuffer, pxNetworkBuffer->xDataLength, pdFALSE, ipCOR… in test_prvAllowIPPacketIPv6_MulticastAddress() 145 …_ExpectAndReturn( pxNetworkBuffer->pucEthernetBuffer, pxNetworkBuffer->xDataLength, pdFALSE, ipCOR… in test_prvAllowIPPacketIPv6_LoopbackAddress() 166 …_ExpectAndReturn( pxNetworkBuffer->pucEthernetBuffer, pxNetworkBuffer->xDataLength, pdFALSE, ipCOR… in test_prvAllowIPPacketIPv6_LoopbackNotMatchDest() 187 …_ExpectAndReturn( pxNetworkBuffer->pucEthernetBuffer, pxNetworkBuffer->xDataLength, pdFALSE, ipCOR… in test_prvAllowIPPacketIPv6_LoopbackNotMatchSrc() 208 …_ExpectAndReturn( pxNetworkBuffer->pucEthernetBuffer, pxNetworkBuffer->xDataLength, pdFALSE, ipCOR… in test_prvAllowIPPacketIPv6_NetworkDown() 241 …_ExpectAndReturn( pxNetworkBuffer->pucEthernetBuffer, pxNetworkBuffer->xDataLength, pdFALSE, ipWRO… in test_prvAllowIPPacketIPv6_ChecksumError() 315 …_ExpectAndReturn( pxNetworkBuffer->pucEthernetBuffer, pxNetworkBuffer->xDataLength, NULL, ucExtHea… in test_eHandleIPv6ExtensionHeaders_TCPHappyPath() 321 …OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + sizeof( TCPHeader_t ) + 1U, pxNetworkBuffer->xDataLength ); in test_eHandleIPv6ExtensionHeaders_TCPHappyPath() 348 …_ExpectAndReturn( pxNetworkBuffer->pucEthernetBuffer, pxNetworkBuffer->xDataLength, NULL, ucExtHea… in test_eHandleIPv6ExtensionHeaders_UDPHappyPath() [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ICMP/ |
D | FreeRTOS_ICMP_utest.c | 74 pxNetworkBuffer->xDataLength = sizeof( ICMPPacket_t ) - 1; in test_ProcessICMPPacket_CatchAssert() 87 pxNetworkBuffer->xDataLength = ipconfigTCP_MSS; in test_ProcessICMPPacket_AllZeroData() 109 pxNetworkBuffer->xDataLength = ipconfigTCP_MSS; in test_ProcessICMPPacket_EchoRequest() 145 pxNetworkBuffer->xDataLength = ipconfigTCP_MSS; in test_ProcessICMPPacket_UnknownICMPPacket() 168 pxNetworkBuffer->xDataLength = ipconfigTCP_MSS; in test_ProcessICMPPacket_ICMPEchoReply_NULLData() 196 pxNetworkBuffer->xDataLength = ipconfigTCP_MSS; in test_ProcessICMPPacket_ICMPEchoReply_ProperData() 228 pxNetworkBuffer->xDataLength = ipconfigTCP_MSS; in test_ProcessICMPPacket_ICMPEchoReply_ImproperData()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv4_DiffConfig1/ |
D | FreeRTOS_IPv4_DiffConfig1_utest.c | 116 pxNetworkBuffer->xDataLength = i; in test_prvAllowIPPacketIPv4_BufferLengthLess() 144 pxNetworkBuffer->xDataLength = sizeof( TCPPacket_t ); in test_prvAllowIPPacketIPv4_HeaderLengthLess() 189 pxNetworkBuffer->xDataLength = sizeof( TCPPacket_t ); in test_prvAllowIPPacketIPv4_BufferLengthLessThan() 242 pxNetworkBuffer->xDataLength = ( ( pxIPHeader->ucVersionHeaderLength & 0x0F ) << 2 ); in test_prvAllowIPPacketIPv4_BufferLengthLessThanIPRequirement() 292 pxNetworkBuffer->xDataLength = FreeRTOS_ntohs( pxIPHeader->usLength ) - 1; in test_prvAllowIPPacketIPv4_IPPacketLengthMoreThanTotalLength() 336 …pxNetworkBuffer->xDataLength = ( ( pxIPHeader->ucVersionHeaderLength & 0x0F ) << 2 ) + ipSIZE_OF_E… in test_prvAllowIPPacketIPv4_UDP_IncorrectPacketLen() 337 pxIPHeader->usLength = FreeRTOS_htons( pxNetworkBuffer->xDataLength - ipSIZE_OF_ETH_HEADER ); in test_prvAllowIPPacketIPv4_UDP_IncorrectPacketLen() 381 …pxNetworkBuffer->xDataLength = ( ( pxIPHeader->ucVersionHeaderLength & 0x0F ) << 2 ) + ipSIZE_OF_E… in test_prvAllowIPPacketIPv4_TCP_IncorrectPacketLen() 382 pxIPHeader->usLength = FreeRTOS_htons( pxNetworkBuffer->xDataLength - ipSIZE_OF_ETH_HEADER ); in test_prvAllowIPPacketIPv4_TCP_IncorrectPacketLen() 426 …pxNetworkBuffer->xDataLength = ( ( pxIPHeader->ucVersionHeaderLength & 0x0F ) << 2 ) + ipSIZE_OF_E… in test_prvAllowIPPacketIPv4_ICMP_IncorrectPacketLen() [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IP/ProcessEthernetPacket/ |
D | ProcessEthernetPacket_harness.c | 84 …_CPROVER_assume( ( pxNetworkBuffer->xDataLength >= ( sizeof( EthernetHeader_t ) ) ) && ( pxNetwork… in harness() 87 …pxNetworkBuffer->pucEthernetBuffer = ( ( ( uint8_t * ) safeMalloc( pxNetworkBuffer->xDataLength ) … in harness()
|
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/mw300_rd/ |
D | NetworkInterface.c | 138 pxNetworkBuffer->xDataLength = payload_len; in process_data_packet() 224 ( pxNetworkBuffer->xDataLength == 0 ) ) in xNetworkInterfaceOutput() 233 pxNetworkBuffer->xDataLength ); in xNetworkInterfaceOutput() 234 int ret = wifi_low_level_output( BSS_TYPE_STA, outbuf + pkt_len, pxNetworkBuffer->xDataLength ); in xNetworkInterfaceOutput() 238 …length %d, error %d \r\n", pxNetworkBuffer->pucEthernetBuffer, pxNetworkBuffer->xDataLength, ret ); in xNetworkInterfaceOutput()
|
/FreeRTOS-Plus-TCP-v4.0.0/source/ |
D | FreeRTOS_TCP_Transmission_IPv4.c | 118 pxNetworkBuffer->xDataLength = sizeof( pxSocket->u.xTCP.xPacket.u.ucLastPacket ); in prvTCPReturnPacket_IPV4() 128 …pxDuplicateNetworkBufferWithDescriptor( pxNetworkBuffer, ( size_t ) pxNetworkBuffer->xDataLength ); in prvTCPReturnPacket_IPV4() 219 …id ) usGenerateProtocolChecksum( ( uint8_t * ) pxTCPPacket, pxNetworkBuffer->xDataLength, pdTRUE ); in prvTCPReturnPacket_IPV4() 226 pxNetworkBuffer->xDataLength = ( size_t ) ulLen; in prvTCPReturnPacket_IPV4() 227 pxNetworkBuffer->xDataLength += ipSIZE_OF_ETH_HEADER; in prvTCPReturnPacket_IPV4() 266 … if( pxNetworkBuffer->xDataLength < ( size_t ) ipconfigETHERNET_MINIMUM_PACKET_BYTES ) in prvTCPReturnPacket_IPV4() 270 …for( xIndex = ( BaseType_t ) pxNetworkBuffer->xDataLength; xIndex < ( BaseType_t ) ipconfigETHERNE… in prvTCPReturnPacket_IPV4() 275 … pxNetworkBuffer->xDataLength = ( size_t ) ipconfigETHERNET_MINIMUM_PACKET_BYTES; in prvTCPReturnPacket_IPV4() 281 …iptraceNETWORK_INTERFACE_OUTPUT( pxNetworkBuffer->xDataLength, pxNetworkBuffer->pucEthernetBuffer … in prvTCPReturnPacket_IPV4()
|
D | FreeRTOS_UDP_IPv6.c | 234 uxPayloadSize = pxNetworkBuffer->xDataLength - uxHeadersSize; in vProcessGeneratedUDPPacket_IPv6() 239 uxPayloadSize = pxNetworkBuffer->xDataLength - sizeof( UDPPacket_IPv6_t ); in vProcessGeneratedUDPPacket_IPv6() 278 …pxUDPHeader->usLength = ( uint16_t ) ( pxNetworkBuffer->xDataLength - ( ipSIZE_OF_ETH_HEADER + ipS… in vProcessGeneratedUDPPacket_IPv6() 281 …pxIPHeader_IPv6->usPayloadLength = ( uint16_t ) ( pxNetworkBuffer->xDataLength - sizeof( IPPacket_… in vProcessGeneratedUDPPacket_IPv6() 336 …usGenerateProtocolChecksum( ( uint8_t * ) pxUDPPacket_IPv6, pxNetworkBuffer->xDataLength, pdTRUE ); in vProcessGeneratedUDPPacket_IPv6() 384 … if( pxNetworkBuffer->xDataLength < ( size_t ) ipconfigETHERNET_MINIMUM_PACKET_BYTES ) in vProcessGeneratedUDPPacket_IPv6() 388 …for( xIndex = ( BaseType_t ) pxNetworkBuffer->xDataLength; xIndex < ( BaseType_t ) ipconfigETHERNE… in vProcessGeneratedUDPPacket_IPv6() 393 … pxNetworkBuffer->xDataLength = ( size_t ) ipconfigETHERNET_MINIMUM_PACKET_BYTES; in vProcessGeneratedUDPPacket_IPv6() 397 …iptraceNETWORK_INTERFACE_OUTPUT( pxNetworkBuffer->xDataLength, pxNetworkBuffer->pucEthernetBuffer … in vProcessGeneratedUDPPacket_IPv6() 501 …uxPayloadSize = pxNetworkBuffer->xDataLength - ( ipSIZE_OF_ETH_HEADER + ipSIZE_OF_UDP_HEADER + ( s… in xProcessReceivedUDPPacket_IPv6()
|
D | FreeRTOS_UDP_IPv4.c | 100 uxPayloadSize = pxNetworkBuffer->xDataLength - sizeof( ICMPPacket_t ); in vProcessGeneratedUDPPacket_IPv4() 105 uxPayloadSize = pxNetworkBuffer->xDataLength - sizeof( UDPPacket_t ); in vProcessGeneratedUDPPacket_IPv4() 240 …id ) usGenerateProtocolChecksum( ( uint8_t * ) pxUDPPacket, pxNetworkBuffer->xDataLength, pdTRUE ); in vProcessGeneratedUDPPacket_IPv4() 298 … if( pxNetworkBuffer->xDataLength < ( size_t ) ipconfigETHERNET_MINIMUM_PACKET_BYTES ) in vProcessGeneratedUDPPacket_IPv4() 302 …for( xIndex = ( BaseType_t ) pxNetworkBuffer->xDataLength; xIndex < ( BaseType_t ) ipconfigETHERNE… in vProcessGeneratedUDPPacket_IPv4() 307 … pxNetworkBuffer->xDataLength = ( size_t ) ipconfigETHERNET_MINIMUM_PACKET_BYTES; in vProcessGeneratedUDPPacket_IPv4() 311 …iptraceNETWORK_INTERFACE_OUTPUT( pxNetworkBuffer->xDataLength, pxNetworkBuffer->pucEthernetBuffer … in vProcessGeneratedUDPPacket_IPv4() 415 … ( size_t ) ( pxNetworkBuffer->xDataLength - ipUDP_PAYLOAD_OFFSET_IPv4 ), in xProcessReceivedUDPPacket_IPv4()
|
D | FreeRTOS_TCP_Transmission_IPv6.c | 126 pxNetworkBuffer->xDataLength = sizeof( pxSocket->u.xTCP.xPacket.u.ucLastPacket ); in prvTCPReturnPacket_IPV6() 136 …pxDuplicateNetworkBufferWithDescriptor( pxNetworkBuffer, ( size_t ) pxNetworkBuffer->xDataLength ); in prvTCPReturnPacket_IPV6() 223 pxNetworkBuffer->xDataLength = ( size_t ) ulLen; in prvTCPReturnPacket_IPV6() 224 pxNetworkBuffer->xDataLength += ipSIZE_OF_ETH_HEADER; in prvTCPReturnPacket_IPV6() 262 … if( pxNetworkBuffer->xDataLength < ( size_t ) ipconfigETHERNET_MINIMUM_PACKET_BYTES ) in prvTCPReturnPacket_IPV6() 266 …for( xIndex = ( BaseType_t ) pxNetworkBuffer->xDataLength; xIndex < ( BaseType_t ) ipconfigETHERNE… in prvTCPReturnPacket_IPV6() 271 … pxNetworkBuffer->xDataLength = ( size_t ) ipconfigETHERNET_MINIMUM_PACKET_BYTES; in prvTCPReturnPacket_IPV6() 277 …iptraceNETWORK_INTERFACE_OUTPUT( pxNetworkBuffer->xDataLength, pxNetworkBuffer->pucEthernetBuffer … in prvTCPReturnPacket_IPV6()
|
D | FreeRTOS_ICMP.c | 89 configASSERT( pxNetworkBuffer->xDataLength >= sizeof( ICMPPacket_t ) ); in ProcessICMPPacket() 91 if( pxNetworkBuffer->xDataLength >= sizeof( ICMPPacket_t ) ) in ProcessICMPPacket() 181 …d ) usGenerateProtocolChecksum( ( uint8_t * ) pxICMPPacket, pxNetworkBuffer->xDataLength, pdTRUE ); in prvProcessICMPEchoRequest()
|
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/WinPCap/ |
D | FaultInjection.c | 55 pxReturn = pxGetNetworkBufferWithDescriptor( pxOriginalPacket->xDataLength, 0 ); in prvDuplicatePacket() 60 pxReturn->xDataLength = pxOriginalPacket->xDataLength; in prvDuplicatePacket() 61 memcpy( pxReturn->pucEthernetBuffer, pucPacketData, pxOriginalPacket->xDataLength ); in prvDuplicatePacket()
|
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/M487/ |
D | NetworkInterface.c | 146 if( pxDescriptor->xDataLength >= PACKET_BUFFER_SIZE ) in xNetworkInterfaceOutput() 148 …FreeRTOS_printf( ( "TX buffer length %d over %d\n", pxDescriptor->xDataLength, PACKET_BUFFER_SIZE … in xNetworkInterfaceOutput() 164 memcpy( buffer, pxDescriptor->pucEthernetBuffer, pxDescriptor->xDataLength ); in xNetworkInterfaceOutput() 165 numaker_eth_trigger_tx( pxDescriptor->xDataLength, NULL ); in xNetworkInterfaceOutput() 289 pxBufferDescriptor->xDataLength = dataLength; in prvEMACHandlerTask()
|
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/pic32mzef/ |
D | NetworkInterface_wifi.c | 110 …scriptor != 0 ) && ( pxDescriptor->pucEthernetBuffer != 0 ) && ( pxDescriptor->xDataLength != 0 ) ) in xNetworkInterfaceOutput() 113 if( WDRV_EXT_DataSend( pxDescriptor->xDataLength, pxDescriptor->pucEthernetBuffer ) == 0 ) in xNetworkInterfaceOutput() 164 pxNetworkBuffer->xDataLength = len; in xNetworkFrameReceived()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6_ConfigDriverCheckChecksum/ |
D | FreeRTOS_IPv6_ConfigDriverCheckChecksum_utest.c | 100 pxNetworkBuffer->xDataLength = sizeof( IPHeader_IPv6_t ) - 1U; in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_buffer_length_less_than_ip_header() 132 pxNetworkBuffer->xDataLength = sizeof( EthernetHeader_t ) + sizeof( IPHeader_IPv6_t ) - 1U; in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_buffer_length_less_than_eth_ip_header() 205 pxNetworkBuffer->xDataLength = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + 1; in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_length_less_than_TCP_min_requirement() 224 pxNetworkBuffer->xDataLength = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + 1; in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_length_less_than_UDP_min_requirement() 243 pxNetworkBuffer->xDataLength = ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + 1; in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_length_less_than_ICMP_min_requirement()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARPGenerateRequestPacket/ |
D | ARPGenerateRequestPacket_harness.c | 27 xNetworkBuffer2.xDataLength = ucBUFFER_SIZE; in harness() 37 __CPROVER_assume( xNetworkBuffer2.xDataLength >= sizeof( ARPPacket_t ) ); in harness()
|
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/esp32/ |
D | NetworkInterface.c | 139 …NULL ) || ( pxNetworkBuffer->pucEthernetBuffer == NULL ) || ( pxNetworkBuffer->xDataLength == 0 ) ) in xESP32_Eth_NetworkInterfaceOutput() 154 …i_internal_tx( ESP_IF_WIFI_STA, pxNetworkBuffer->pucEthernetBuffer, pxNetworkBuffer->xDataLength ); in xESP32_Eth_NetworkInterfaceOutput() 158 …uffer %p, len %d, err %d", pxNetworkBuffer->pucEthernetBuffer, pxNetworkBuffer->xDataLength, ret ); in xESP32_Eth_NetworkInterfaceOutput() 222 pxNetworkBuffer->xDataLength = len; in wlanif_input()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP/ |
D | FreeRTOS_IP_utest.c | 256 pxNetworkBuffer->xDataLength = 0; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig() 262 TEST_ASSERT_EQUAL( sizeof( UDPPacket_t ) + uxRequestedSizeBytes, pxNetworkBuffer->xDataLength ); in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig() 280 pxNetworkBuffer->xDataLength = 0; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeLessThanConfig() 286 TEST_ASSERT_EQUAL( sizeof( UDPPacket_t ) + uxRequestedSizeBytes, pxNetworkBuffer->xDataLength ); in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeLessThanConfig() 305 pxNetworkBuffer->xDataLength = 0; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeMoreThanConfig() 311 TEST_ASSERT_EQUAL( sizeof( UDPPacket_t ) + uxRequestedSizeBytes, pxNetworkBuffer->xDataLength ); in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeMoreThanConfig() 358 pxNetworkBuffer->xDataLength = 0; in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig_IPv6() 364 …ST_ASSERT_EQUAL( sizeof( UDPPacket_IPv6_t ) + uxRequestedSizeBytes, pxNetworkBuffer->xDataLength ); in test_FreeRTOS_GetUDPPayloadBuffer_BlockTimeEqualToConfig_IPv6() 591 pxNetworkBuffer->xDataLength = sizeof( EthernetHeader_t ) - 1; in test_prvProcessIPEventsAndTimers_eNetworkRxEvent() 625 pxNetworkBuffer->xDataLength = sizeof( EthernetHeader_t ) - 1; in test_prvProcessIPEventsAndTimers_eNetworkTxEvent() [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/MPS2_AN385/ |
D | NetworkInterface.c | 194 ( *pxNetworkBuffer )->xDataLength = ulMessageLength; in prvLowLevelInput() 199 ( *pxNetworkBuffer )->xDataLength = ulReceivedBytes; in prvLowLevelInput() 333 if( pxNetworkBuffer->xDataLength < SMSC9220_ETH_MAX_FRAME_SIZE ) in xMPS2_NetworkInterfaceOutput() 336 pxNetworkBuffer->xDataLength, in xMPS2_NetworkInterfaceOutput() 339 pxNetworkBuffer->xDataLength ); in xMPS2_NetworkInterfaceOutput() 357 pxNetworkBuffer->xDataLength ) ); in xMPS2_NetworkInterfaceOutput()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/xCheckLoopback/ |
D | xCheckLoopback_harness.c | 34 pxReturnNetworkBuffer->xDataLength = uxNewLength; in pxDuplicateNetworkBufferWithDescriptor() 54 pxNetworkBuffer->xDataLength = xBufferLength; in harness()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Reception/ |
D | FreeRTOS_TCP_Reception_utest.c | 157 pxNetworkBuffer->xDataLength = 50; in test_prvCheckOptions_Invalid_Data_Length() 181 pxNetworkBuffer->xDataLength = 60; in test_prvCheckOptions_Invalid_Option_Length() 205 pxNetworkBuffer->xDataLength = 0x50; in test_prvCheckOptions_MSS_WSF() 235 pxNetworkBuffer->xDataLength = 0x50; in test_prvCheckOptions_MSS_WSF_Bad_Option() 265 pxNetworkBuffer->xDataLength = 0x50; in test_prvCheckOptions_MSS_WSF_Without_END() 293 pxNetworkBuffer->xDataLength = 0x50; in test_prvCheckOptions_MSS_WSF_SYN_on() 353 pxNetworkBuffer->xDataLength = 0x50; in test_prvSingleStepTCPHeaderOptions_TS() 384 pxNetworkBuffer->xDataLength = 0x50; in test_prvSingleStepTCPHeaderOptions_END_NOOP() 425 pxNetworkBuffer->xDataLength = 0x50; in test_prvSingleStepTCPHeaderOptions_MSS_Invalid_Length() 472 pxNetworkBuffer->xDataLength = 0x50; in test_prvSingleStepTCPHeaderOptions_Zero_Length_MSS() [all …]
|