| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS_Cache/ |
| D | FreeRTOS_DNS_Cache_utest.c | 101 BaseType_t x; in test_processDNS_CACHE_CatchAssert() local 114 BaseType_t x; in test_processDNS_CACHE_Success() local 125 x = FreeRTOS_dnslookup( "hello" ); in test_processDNS_CACHE_Success() 127 TEST_ASSERT_EQUAL( pulIP, x ); in test_processDNS_CACHE_Success() 135 BaseType_t x; in test_processDNS_CACHE_empty_cache() local 139 x = FreeRTOS_dnslookup( "hello" ); in test_processDNS_CACHE_empty_cache() 141 TEST_ASSERT_EQUAL( 0, x ); in test_processDNS_CACHE_empty_cache() 149 BaseType_t x; in test_processDNS_CACHE_entry_not_found() local 160 x = FreeRTOS_dnslookup( "hello" ); in test_processDNS_CACHE_entry_not_found() 162 TEST_ASSERT_EQUAL( 0, x ); in test_processDNS_CACHE_entry_not_found() [all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_ARP.c | 372 BaseType_t x, xReturn = pdFALSE; in xIsIPInARPCache() local 375 for( x = 0; x < ipconfigARP_CACHE_ENTRIES; x++ ) in xIsIPInARPCache() 379 if( xARPCache[ x ].ulIPAddress == ulAddressToLookup ) in xIsIPInARPCache() 384 if( xARPCache[ x ].ucValid == ( uint8_t ) pdFALSE ) in xIsIPInARPCache() 442 BaseType_t x; in ulARPRemoveCacheEntryByMac() local 448 for( x = 0; x < ipconfigARP_CACHE_ENTRIES; x++ ) in ulARPRemoveCacheEntryByMac() 450 …if( ( memcmp( xARPCache[ x ].xMACAddress.ucBytes, pxMACAddress->ucBytes, sizeof( pxMACAddress->ucB… in ulARPRemoveCacheEntryByMac() 452 lResult = xARPCache[ x ].ulIPAddress; in ulARPRemoveCacheEntryByMac() 453 ( void ) memset( &xARPCache[ x ], 0, sizeof( xARPCache[ x ] ) ); in ulARPRemoveCacheEntryByMac() 475 BaseType_t x = 0; in vARPRefreshCacheEntry() local [all …]
|
| D | FreeRTOS_DNS_Parser.c | 265 uint16_t x; in DNS_ParseDNSReply() local 309 for( x = 0U; x < usQuestions; x++ ) in DNS_ParseDNSReply() 313 if( x == 0U ) in DNS_ParseDNSReply() 321 if( x == 0U ) in DNS_ParseDNSReply() 543 uint16_t x; in parseDNSAnswer() local 559 for( x = 0U; x < pxDNSMessageHeader->usAnswers; x++ ) in parseDNSAnswer()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/WinPCap/ |
| D | FaultInjection.c | 14 BaseType_t x, xReturn = pdFALSE; in prvCachePacket() local 16 for( x = 0; x < xBUFFER_CACHE_SIZE; x++ ) in prvCachePacket() 18 if( xNetworkBufferCache[ x ] == NULL ) in prvCachePacket() 20 xNetworkBufferCache[ x ] = pxNetworkBufferIn; in prvCachePacket() 32 BaseType_t x; in prvGetCachedPacket() local 35 for( x = ( xBUFFER_CACHE_SIZE - 1 ); x >= 0; x-- ) in prvGetCachedPacket() 37 if( xNetworkBufferCache[ x ] != NULL ) in prvGetCachedPacket() 39 pxReturn = xNetworkBufferCache[ x ]; in prvGetCachedPacket() 40 xNetworkBufferCache[ x ] = NULL; in prvGetCachedPacket()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/BufferManagement/ |
| D | BufferAllocation_2.c | 105 uint32_t x; in xNetworkBuffersInitialise() local 149 for( x = 0U; x < ipconfigNUM_NETWORK_BUFFER_DESCRIPTORS; x++ ) in xNetworkBuffersInitialise() 152 xNetworkBufferDescriptors[ x ].pucEthernetBuffer = NULL; in xNetworkBuffersInitialise() 153 vListInitialiseItem( &( xNetworkBufferDescriptors[ x ].xBufferListItem ) ); in xNetworkBuffersInitialise() 154 …ET_LIST_ITEM_OWNER( &( xNetworkBufferDescriptors[ x ].xBufferListItem ), &xNetworkBufferDescriptor… in xNetworkBuffersInitialise() 157 … vListInsert( &xFreeBuffersList, &( xNetworkBufferDescriptors[ x ].xBufferListItem ) ); in xNetworkBuffersInitialise()
|
| D | BufferAllocation_1.c | 171 uint32_t x; in xNetworkBuffersInitialise() local 206 for( x = 0U; x < ipconfigNUM_NETWORK_BUFFER_DESCRIPTORS; x++ ) in xNetworkBuffersInitialise() 209 vListInitialiseItem( &( xNetworkBuffers[ x ].xBufferListItem ) ); in xNetworkBuffersInitialise() 210 … listSET_LIST_ITEM_OWNER( &( xNetworkBuffers[ x ].xBufferListItem ), &xNetworkBuffers[ x ] ); in xNetworkBuffersInitialise() 213 vListInsert( &xFreeBuffersList, &( xNetworkBuffers[ x ].xBufferListItem ) ); in xNetworkBuffersInitialise()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc1/ |
| D | OutputARPRequest_harness.c | 28 for( int x = 0; x < ipconfigNUM_NETWORK_BUFFER_DESCRIPTORS; x++ ) in vNetworkInterfaceAllocateRAMToBuffers() local 30 NetworkBufferDescriptor_t * current = &pxNetworkBuffers[ x ]; in vNetworkInterfaceAllocateRAMToBuffers()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/LPC18xx/ |
| D | NetworkInterface.c | 507 BaseType_t x; in prvSetupTxDescriptors() local 518 for( x = 0; x < configNUM_TX_DESCRIPTORS; x++ ) in prvSetupTxDescriptors() 530 … xDMATxDescriptors[ x ].B1ADD = ( uint32_t ) pvPortMalloc( ipTOTAL_ETHERNET_FRAME_SIZE ); in prvSetupTxDescriptors() 535 configASSERT( xDMATxDescriptors[ x ].B1ADD != 0U ); in prvSetupTxDescriptors() 546 …xDMATxDescriptors[ x ].CTRLSTAT = TDES_ENH_TCH | TDES_ENH_CIC( 3 ) | TDES_ENH_FS | TDES_ENH_LS | T… in prvSetupTxDescriptors() 547 xDMATxDescriptors[ x ].B2ADD = ( uint32_t ) &xDMATxDescriptors[ x + 1 ]; in prvSetupTxDescriptors() 560 BaseType_t x; in prvSetupRxDescriptors() local 572 for( x = 0; x < configNUM_RX_DESCRIPTORS; x++ ) in prvSetupRxDescriptors() 589 xDMARxDescriptors[ x ].B1ADD = ( uint32_t ) pxNetworkBuffer->pucEthernetBuffer; in prvSetupRxDescriptors() 595 … xDMARxDescriptors[ x ].B1ADD = ( uint32_t ) pvPortMalloc( ipTOTAL_ETHERNET_FRAME_SIZE ); in prvSetupRxDescriptors() [all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/patches/ |
| D | patch.py | 29 print("\n".join(map(lambda x: "\t" + x, applied_patches)), file=outp) 32 print("\n".join(map(lambda x: "\t" + x, failed_patches)), file=outp)
|
| D | FreeRTOSIPConfig.h | 306 #define ipconfigIS_VALID_PROG_ADDRESS( x ) ( ( x ) != NULL ) argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/LPC54018/ |
| D | NetworkInterface.c | 57 #define ENET_ALIGN( x, align ) ( ( unsigned int ) ( ( x ) + ( ( align ) - 1 ) ) & ( unsigned in… argument 377 for( int x = 0; x < ipconfigNUM_NETWORK_BUFFER_DESCRIPTORS; x++ ) in vNetworkInterfaceAllocateRAMToBuffers() local 379 … pxNetworkBuffers[ x ].pucEthernetBuffer = ( uint8_t * ) &buffers[ x ][ 0 ] + ipBUFFER_PADDING; in vNetworkInterfaceAllocateRAMToBuffers() 380 buffers[ x ][ 0 ] = ( uint32_t ) &pxNetworkBuffers[ x ]; in vNetworkInterfaceAllocateRAMToBuffers()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/ConfigFiles/ |
| D | portmacro.h | 82 #define portYIELD_FROM_ISR( x ) portEND_SWITCHING_ISR( x ) argument 97 #define portCLEAR_INTERRUPT_MASK_FROM_ISR( x ) vPortClearInterruptMask( x ) argument
|
| D | FreeRTOSConfig.h | 117 #define configASSERT( x ) assert( x ) argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_IP.h | 241 #define FreeRTOS_htons( x ) ( ( uint16_t ) ( x ) ) argument 242 #define FreeRTOS_htonl( x ) ( ( uint32_t ) ( x ) ) argument 246 #define FreeRTOS_ntohs( x ) FreeRTOS_htons( x ) argument 247 #define FreeRTOS_ntohl( x ) FreeRTOS_htonl( x ) argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ARP/ |
| D | FreeRTOS_ARP_utest.c | 801 for( uint16_t x = 0; x < ipconfigARP_CACHE_ENTRIES; x++ ) in test_xIsIPInARPCache_NoMatchingIP() local 803 xARPCache[ x ].ulIPAddress = 0; in test_xIsIPInARPCache_NoMatchingIP() 816 for( uint16_t x = 0; x < ipconfigARP_CACHE_ENTRIES; x++ ) in test_xIsIPInARPCache_MatchingIPButEntryInvalid() local 818 xARPCache[ x ].ulIPAddress = 0; in test_xIsIPInARPCache_MatchingIPButEntryInvalid() 819 xARPCache[ x ].ucValid = ( uint8_t ) pdFALSE; in test_xIsIPInARPCache_MatchingIPButEntryInvalid() 834 for( uint16_t x = 0; x < ipconfigARP_CACHE_ENTRIES; x++ ) in test_xIsIPInARPCache_MatchingIP1() local 836 xARPCache[ x ].ulIPAddress = 0; in test_xIsIPInARPCache_MatchingIP1() 837 xARPCache[ x ].ucValid = ( uint8_t ) pdTRUE; in test_xIsIPInARPCache_MatchingIP1() 852 for( uint16_t x = 0; x < ipconfigARP_CACHE_ENTRIES; x++ ) in test_xIsIPInARPCache_MatchingIP2() local 854 xARPCache[ x ].ulIPAddress = 0; in test_xIsIPInARPCache_MatchingIP2() [all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/pic32mzef/ |
| D | BufferAllocation_2.c | 260 BaseType_t xReturn, x; in xNetworkBuffersInitialise() local 291 for( x = 0; x < ipconfigNUM_NETWORK_BUFFER_DESCRIPTORS; x++ ) in xNetworkBuffersInitialise() 294 xNetworkBufferDescriptors[ x ].pucEthernetBuffer = NULL; in xNetworkBuffersInitialise() 295 vListInitialiseItem( &( xNetworkBufferDescriptors[ x ].xBufferListItem ) ); in xNetworkBuffersInitialise() 296 …ET_LIST_ITEM_OWNER( &( xNetworkBufferDescriptors[ x ].xBufferListItem ), &xNetworkBufferDescriptor… in xNetworkBuffersInitialise() 299 … vListInsert( &xFreeBuffersList, &( xNetworkBufferDescriptors[ x ].xBufferListItem ) ); in xNetworkBuffersInitialise()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/ATSAME5x/ |
| D | NetworkInterface.c | 408 BaseType_t x; in vNetworkInterfaceAllocateRAMToBuffers() local 410 for( x = 0; x < ipconfigNUM_NETWORK_BUFFER_DESCRIPTORS; x++ ) in vNetworkInterfaceAllocateRAMToBuffers() 414 pxNetworkBuffers[ x ].pucEthernetBuffer = &( ucBuffers[ x ][ ipBUFFER_PADDING ] ); in vNetworkInterfaceAllocateRAMToBuffers() 418 *( ( uint32_t * ) &ucBuffers[ x ][ 0 ] ) = ( uint32_t ) &( pxNetworkBuffers[ x ] ); in vNetworkInterfaceAllocateRAMToBuffers()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/Coverity/ConfigFiles/ |
| D | portmacro.h | 81 #define portYIELD_FROM_ISR( x ) ( void ) x argument 82 #define portEND_SWITCHING_ISR( x ) portYIELD_FROM_ISR( ( x ) ) argument
|
| D | FreeRTOSIPConfig.h | 295 #define ipconfigIS_VALID_PROG_ADDRESS( x ) ( ( x ) != NULL ) argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/LPC17xx/ |
| D | NetworkInterface.c | 131 int32_t x; in xNetworkInterfaceOutput() local 137 for( x = 0; x < niMAX_TX_ATTEMPTS; x++ ) in xNetworkInterfaceOutput()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/M487/ |
| D | m480_eth.h | 152 #define NU_DEBUGF( x ) { printf x; } argument 154 #define NU_DEBUGF( x ) argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/ |
| D | catch_assert.h | 54 #define catch_assert( x ) \ argument 65 x; \
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/build-combination/AllDisable/ |
| D | FreeRTOSIPConfig.h | 290 #define ipconfigIS_VALID_PROG_ADDRESS( x ) ( ( x ) != NULL ) argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/ |
| D | FreeRTOSConfig.h | 117 #define configASSERT( x ) assert( x ) argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/build-combination/AllEnable/ |
| D | FreeRTOSIPConfig.h | 290 #define ipconfigIS_VALID_PROG_ADDRESS( x ) ( ( x ) != NULL ) argument
|