Home
last modified time | relevance | path

Searched refs:xNDCache (Results 1 – 4 of 4) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ND/
DFreeRTOS_ND_utest.c65 extern NDCacheRow_t xNDCache[ ipconfigND_CACHE_ENTRIES ];
196 ( void ) memset( xNDCache, 0, sizeof( xNDCache ) ); in test_eNDGetCacheEntry_NDCacheLookupHit_InvalidEndPoint()
197 …( void ) memcpy( xNDCache[ xUseEntry ].xIPAddress.ucBytes, xDefaultIPAddress.ucBytes, ipSIZE_OF_IP… in test_eNDGetCacheEntry_NDCacheLookupHit_InvalidEndPoint()
198 …( void ) memcpy( xNDCache[ xUseEntry ].xMACAddress.ucBytes, xDefaultMACAddress.ucBytes, sizeof( MA… in test_eNDGetCacheEntry_NDCacheLookupHit_InvalidEndPoint()
200 xNDCache[ xUseEntry ].ucAge = 1; in test_eNDGetCacheEntry_NDCacheLookupHit_InvalidEndPoint()
201 xNDCache[ xUseEntry ].ucValid = 1; in test_eNDGetCacheEntry_NDCacheLookupHit_InvalidEndPoint()
206 …TEST_ASSERT_EQUAL_MEMORY( xMACAddress.ucBytes, xNDCache[ xUseEntry ].xMACAddress.ucBytes, sizeof( … in test_eNDGetCacheEntry_NDCacheLookupHit_InvalidEndPoint()
225 ( void ) memset( xNDCache, 0, sizeof( xNDCache ) ); in test_eNDGetCacheEntry_NDCacheLookupHit_ValidEndPoint()
227 …( void ) memcpy( xNDCache[ xUseEntry ].xIPAddress.ucBytes, xDefaultIPAddress.ucBytes, ipSIZE_OF_IP… in test_eNDGetCacheEntry_NDCacheLookupHit_ValidEndPoint()
228 …( void ) memcpy( xNDCache[ xUseEntry ].xMACAddress.ucBytes, xDefaultMACAddress.ucBytes, sizeof( MA… in test_eNDGetCacheEntry_NDCacheLookupHit_ValidEndPoint()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_ND.c102 static NDCacheRow_t xNDCache[ ipconfigND_CACHE_ENTRIES ]; variable
292 if( xNDCache[ x ].ucValid == ( uint8_t ) pdFALSE ) in vNDRefreshCacheEntry()
299 …else if( memcmp( xNDCache[ x ].xIPAddress.ucBytes, pxIPAddress->ucBytes, ipSIZE_OF_IPv6_ADDRESS ) … in vNDRefreshCacheEntry()
319 …( void ) memcpy( xNDCache[ xEntryFound ].xIPAddress.ucBytes, pxIPAddress->ucBytes, ipSIZE_OF_IPv6_… in vNDRefreshCacheEntry()
321 …( void ) memcpy( xNDCache[ xEntryFound ].xMACAddress.ucBytes, pxMACAddress->ucBytes, sizeof( MACAd… in vNDRefreshCacheEntry()
322 xNDCache[ xEntryFound ].pxEndPoint = pxEndPoint; in vNDRefreshCacheEntry()
323 xNDCache[ xEntryFound ].ucAge = ( uint8_t ) ipconfigMAX_ARP_AGE; in vNDRefreshCacheEntry()
324 xNDCache[ xEntryFound ].ucValid = ( uint8_t ) pdTRUE; in vNDRefreshCacheEntry()
348 if( xNDCache[ x ].ucAge > 0U ) in vNDAgeCache()
352 ( xNDCache[ x ].ucAge )--; in vNDAgeCache()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ND/prvProcessICMPMessage_IPv6/
DProcessICMPMessage_IPv6_harness.c43 extern NDCacheRow_t xNDCache[ ipconfigND_CACHE_ENTRIES ];
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ND/prvReturnICMP_IPv6/
DReturnICMP_IPv6_harness.c43 extern NDCacheRow_t xNDCache[ ipconfigND_CACHE_ENTRIES ];