| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_DNS_Cache.c | 82 static BaseType_t prvGetCacheIPEntry( UBaseType_t uxIndex,
86 static void prvUpdateCacheEntry( UBaseType_t uxIndex,
162 UBaseType_t uxIndex; in FreeRTOS_ProcessDNSCache() local
170 xResult = prvFindEntryIndex( pcName, &uxIndex ); in FreeRTOS_ProcessDNSCache()
180 ( void ) prvGetCacheIPEntry( uxIndex, in FreeRTOS_ProcessDNSCache()
186 prvUpdateCacheEntry( uxIndex, in FreeRTOS_ProcessDNSCache()
229 UBaseType_t uxIndex; in prvFindEntryIndex() local
232 for( uxIndex = 0; uxIndex < ipconfigDNS_CACHE_ENTRIES; uxIndex++ ) in prvFindEntryIndex()
234 if( xDNSCache[ uxIndex ].pcName[ 0 ] == ( char ) 0 ) in prvFindEntryIndex()
239 if( strcmp( xDNSCache[ uxIndex ].pcName, pcName ) == 0 ) in prvFindEntryIndex()
[all …]
|
| D | FreeRTOS_DNS_Parser.c | 68 size_t uxIndex = 0U; in DNS_ReadNameField() local
78 uxIndex = 0U; in DNS_ReadNameField()
83 else if( ( pucByte[ uxIndex ] & dnsNAME_IS_OFFSET ) == dnsNAME_IS_OFFSET ) in DNS_ReadNameField()
88 uxIndex += sizeof( uint16_t ); in DNS_ReadNameField()
92 uxIndex = 0U; in DNS_ReadNameField()
98 while( ( uxIndex < uxSourceLen ) && ( pucByte[ uxIndex ] != ( uint8_t ) 0x00U ) ) in DNS_ReadNameField()
106 uxIndex = 0U; in DNS_ReadNameField()
116 uxCount = ( size_t ) pucByte[ uxIndex ]; in DNS_ReadNameField()
117 uxIndex++; in DNS_ReadNameField()
119 if( ( uxIndex + uxCount ) > uxSourceLen ) in DNS_ReadNameField()
[all …]
|
| D | FreeRTOS_DNS.c | 656 size_t uxStart, uxIndex; in prvCreateDNSMessage() local
698 uxIndex = uxStart + 1U; in prvCreateDNSMessage()
701 ( void ) strcpy( ( char * ) &( pucUDPPayloadBuffer[ uxIndex ] ), pcHostName ); in prvCreateDNSMessage()
706 uxIndex = uxStart; in prvCreateDNSMessage()
713 uxIndex++; in prvCreateDNSMessage()
715 while( ( pucUDPPayloadBuffer[ uxIndex ] != ( uint8_t ) 0U ) && in prvCreateDNSMessage()
716 ( pucUDPPayloadBuffer[ uxIndex ] != ( uint8_t ) ASCII_BASELINE_DOT ) ) in prvCreateDNSMessage()
718 uxIndex++; in prvCreateDNSMessage()
723 uxLength = uxIndex - ( uxStart + 1U ); in prvCreateDNSMessage()
726 uxStart = uxIndex; in prvCreateDNSMessage()
[all …]
|
| D | FreeRTOS_DHCP.c | 767 size_t uxIndex, uxPayloadDataLength, uxLength; in prvProcessDHCPReplies() local
775 uxIndex = 0; in prvProcessDHCPReplies()
778 while( uxIndex < uxPayloadDataLength ) in prvProcessDHCPReplies()
780 ucOptionCode = pucByte[ uxIndex ]; in prvProcessDHCPReplies()
793 uxIndex = uxIndex + 1U; in prvProcessDHCPReplies()
798 if( ( uxIndex + 1U ) < uxPayloadDataLength ) in prvProcessDHCPReplies()
801 uxLength = ( size_t ) pucByte[ uxIndex + 1U ]; in prvProcessDHCPReplies()
802 uxIndex = uxIndex + 2U; in prvProcessDHCPReplies()
804 if( !( ( ( uxIndex + uxLength ) - 1U ) < uxPayloadDataLength ) ) in prvProcessDHCPReplies()
825 pvCopySource = &pucByte[ uxIndex ]; in prvProcessDHCPReplies()
[all …]
|
| D | FreeRTOS_TCP_Reception.c | 78 size_t uxIndex,
373 size_t uxIndex, in prvReadSackOption() argument
376 uint32_t ulFirst = ulChar2u32( &( pucPtr[ uxIndex ] ) ); in prvReadSackOption()
377 uint32_t ulLast = ulChar2u32( &( pucPtr[ uxIndex + 4U ] ) ); in prvReadSackOption()
|
| D | FreeRTOS_Sockets.c | 2329 socklen_t uxIndex = 0; in FreeRTOS_inet_ntoa() local
2365 pcBuffer[ uxIndex ] = ( char ) ( pucDigits[ uxSource ] + ( char ) '0' ); in FreeRTOS_inet_ntoa()
2366 uxIndex++; in FreeRTOS_inet_ntoa()
2371 pcBuffer[ uxIndex ] = '.'; in FreeRTOS_inet_ntoa()
2375 pcBuffer[ uxIndex ] = '\0'; in FreeRTOS_inet_ntoa()
2378 uxIndex++; in FreeRTOS_inet_ntoa()
2555 size_t uxIndex; in FreeRTOS_EUI48_ntop() local
2559 for( uxIndex = 0U; uxIndex < ipMAC_ADDRESS_LENGTH_BYTES; uxIndex++ ) in FreeRTOS_EUI48_ntop()
2561 uint8_t ucByte = pucSource[ uxIndex ]; in FreeRTOS_EUI48_ntop()
2592 if( uxIndex == ( ipMAC_ADDRESS_LENGTH_BYTES - 1U ) ) in FreeRTOS_EUI48_ntop()
|
| D | FreeRTOS_TCP_Transmission.c | 209 UBaseType_t uxIndex; in prvTCPSendRepeated() local
214 for( uxIndex = 0U; uxIndex < ( UBaseType_t ) SEND_REPEATED_COUNT; uxIndex++ ) in prvTCPSendRepeated()
|
| /FreeRTOS-Plus-TCP-v3.1.0/tools/tcp_utilities/ |
| D | tcp_netstat.c | 150 size_t uxIndex; in vShowMetrics() local
164 for( uxIndex = 0; uxIndex < pxMetrics->xTCPPortList.uxCount; uxIndex++ ) in vShowMetrics()
167 pxMetrics->xTCPPortList.usTCPPortList[ uxIndex ] ) ); in vShowMetrics()
172 for( uxIndex = 0; uxIndex < pxMetrics->xTCPSocketList.uxCount; uxIndex++ ) in vShowMetrics()
175 pxMetrics->xTCPSocketList.xTCPList[ uxIndex ].usLocalPort, in vShowMetrics()
176 pxMetrics->xTCPSocketList.xTCPList[ uxIndex ].ulRemoteIP, in vShowMetrics()
177 pxMetrics->xTCPSocketList.xTCPList[ uxIndex ].usRemotePort ) ); in vShowMetrics()
184 for( uxIndex = 0; uxIndex < pxMetrics->xUDPPortList.uxCount; uxIndex++ ) in vShowMetrics()
187 pxMetrics->xUDPPortList.usUDPPortList[ uxIndex ] ) ); in vShowMetrics()
192 for( uxIndex = 0; uxIndex < pxMetrics->xUDPSocketList.uxCount; uxIndex++ ) in vShowMetrics()
[all …]
|
| D | tcp_dump_packets.c | 184 size_t uxIndex; in dump_packet_init() local
197 for( uxIndex = 0; uxIndex < pxEntries->uxEntryCount; uxIndex++ ) in dump_packet_init()
199 pxEntries->xEntries[ uxIndex ].uxCount = 0; in dump_packet_init()
534 size_t uxIndex; in vActualDump() local
550 for( uxIndex = 0; uxIndex < pxCurrentEntries->uxEntryCount; uxIndex++ ) in vActualDump()
552 … if( pxCurrentEntries->xEntries[ uxIndex ].uxCount < pxCurrentEntries->xEntries[ uxIndex ].uxMax ) in vActualDump()
554 uint32_t ulMask = pxCurrentEntries->xEntries[ uxIndex ].ulMask; in vActualDump()
558 pxCurrentEntries->xEntries[ uxIndex ].uxCount++; in vActualDump()
602 for( uxIndex = 0; uxIndex < uxNextPacketNumber; uxIndex++ ) in vActualDump()
604 _fprintf( outfile, "\t&xPacket_%04lu,\n", uxIndex ); in vActualDump()
|
| D | tcp_mem_stats.c | 106 size_t uxIndex; in vAddAllocation() local
110 for( uxIndex = 0; uxIndex < uxAllocationCount; uxIndex++ ) in vAddAllocation()
112 if( xAllocations[ uxIndex ].pxObject == pxObject ) in vAddAllocation()
122 if( ( uxIndex == uxAllocationCount ) && in vAddAllocation()
125 xAllocations[ uxIndex ].pxObject = pxObject; in vAddAllocation()
126 xAllocations[ uxIndex ].xMemType = xMemType; in vAddAllocation()
127 xAllocations[ uxIndex ].uxSize = uxSize; in vAddAllocation()
128 xAllocations[ uxIndex ].uxNumber = uxNextObjectNumber++; in vAddAllocation()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/CheckOptionsInner/ |
| D | CheckOptionsInner_harness.c | 28 size_t uxIndex,
46 size_t uxIndex; in harness() local
94 __CPROVER_assume( uxIndex <= buffer_size ); in harness()
95 __CPROVER_assume( uxIndex + 8 <= buffer_size ); in harness()
101 prvReadSackOption( pucPtr, uxIndex, pxSocket ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/libslirp/ |
| D | MBuffNetworkInterface.c | 307 size_t uxIndex; in vNetworkInterfaceAllocateRAMToBuffers() local
321 for( uxIndex = 0; uxIndex < ipconfigNUM_NETWORK_BUFFER_DESCRIPTORS; uxIndex++ ) in vNetworkInterfaceAllocateRAMToBuffers()
323 size_t uxOffset = uxIndex * BUFFER_SIZE_ROUNDED_UP; in vNetworkInterfaceAllocateRAMToBuffers()
330 *ppDescriptor = &( pxNetworkBuffers[ uxIndex ] ); in vNetworkInterfaceAllocateRAMToBuffers()
334 …pxNetworkBuffers[ uxIndex ].pucEthernetBuffer = &( pucNetworkPacketBuffers[ uxOffset + ipBUFFER_PA… in vNetworkInterfaceAllocateRAMToBuffers()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/CheckOptionsOuter/ |
| D | CheckOptionsOuter_harness.c | 45 size_t uxIndex, in __CPROVER_file_local_FreeRTOS_TCP_Reception_c_prvReadSackOption() argument
51 __CPROVER_assert( uxIndex <= buffer_size, in __CPROVER_file_local_FreeRTOS_TCP_Reception_c_prvReadSackOption()
53 __CPROVER_assert( uxIndex + 8 <= buffer_size, in __CPROVER_file_local_FreeRTOS_TCP_Reception_c_prvReadSackOption()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/WinPCap/ |
| D | NetworkInterface.c | 693 size_t uxIndex; in vNetworkInterfaceAllocateRAMToBuffers() local
707 for( uxIndex = 0; uxIndex < ipconfigNUM_NETWORK_BUFFER_DESCRIPTORS; uxIndex++ ) in vNetworkInterfaceAllocateRAMToBuffers()
709 size_t uxOffset = uxIndex * BUFFER_SIZE_ROUNDED_UP; in vNetworkInterfaceAllocateRAMToBuffers()
716 *ppDescriptor = &( pxNetworkBuffers[ uxIndex ] ); in vNetworkInterfaceAllocateRAMToBuffers()
720 …pxNetworkBuffers[ uxIndex ].pucEthernetBuffer = &( pucNetworkPacketBuffers[ uxOffset + ipBUFFER_PA… in vNetworkInterfaceAllocateRAMToBuffers()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/linux/ |
| D | NetworkInterface.c | 904 size_t uxIndex; in vNetworkInterfaceAllocateRAMToBuffers() local
918 for( uxIndex = 0; uxIndex < ipconfigNUM_NETWORK_BUFFER_DESCRIPTORS; uxIndex++ ) in vNetworkInterfaceAllocateRAMToBuffers()
920 size_t uxOffset = uxIndex * BUFFER_SIZE_ROUNDED_UP; in vNetworkInterfaceAllocateRAMToBuffers()
927 *ppDescriptor = &( pxNetworkBuffers[ uxIndex ] ); in vNetworkInterfaceAllocateRAMToBuffers()
931 …pxNetworkBuffers[ uxIndex ].pucEthernetBuffer = &( pucNetworkPacketBuffers[ uxOffset + ipBUFFER_PA… in vNetworkInterfaceAllocateRAMToBuffers()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/STM32Hxx/ |
| D | NetworkInterface.c | 214 size_t uxIndex = 0; in xNetworkInterfaceInitialise() local
263 for( uxIndex = 0; uxIndex < ETH_RX_DESC_CNT; uxIndex++ ) in xNetworkInterfaceInitialise()
274 pucBuffer = Rx_Buff[ uxIndex ]; in xNetworkInterfaceInitialise()
278 HAL_ETH_DescAssignMemory( &( xEthHandle ), uxIndex, pucBuffer, NULL ); in xNetworkInterfaceInitialise()
|
