Home
last modified time | relevance | path

Searched refs:ipconfigND_CACHE_ENTRIES (Results 1 – 5 of 5) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ND/prvProcessICMPMessage_IPv6/
HDProcessICMPMessage_IPv6_harness.c43 extern NDCacheRow_t xNDCache[ ipconfigND_CACHE_ENTRIES ];
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
HDFreeRTOSIPConfigDefaults.h1121 #ifndef ipconfigND_CACHE_ENTRIES
1122 #define ipconfigND_CACHE_ENTRIES 24 macro
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ND/prvReturnICMP_IPv6/
HDReturnICMP_IPv6_harness.c43 extern NDCacheRow_t xNDCache[ ipconfigND_CACHE_ENTRIES ];
/FreeRTOS-Plus-TCP-v4.0.0/source/
HDFreeRTOS_ND.c102 static NDCacheRow_t xNDCache[ ipconfigND_CACHE_ENTRIES ];
290 for( x = 0; x < ipconfigND_CACHE_ENTRIES; x++ ) in vNDRefreshCacheEntry()
343 for( x = 0; x < ipconfigND_CACHE_ENTRIES; x++ ) in vNDAgeCache()
427 for( x = 0; x < ipconfigND_CACHE_ENTRIES; x++ ) in prvNDCacheLookup()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ND/
HDFreeRTOS_ND_utest.c65 extern NDCacheRow_t xNDCache[ ipconfigND_CACHE_ENTRIES ];
496 for( i = 0; i < ipconfigND_CACHE_ENTRIES; i++ ) in test_vNDRefreshCacheEntry_NoMatchingEntryCacheFull()
568 for( i = 0; i < ipconfigND_CACHE_ENTRIES; i++ ) in test_vNDAgeCache_InvalidCache()
590 for( i = 0; i < ipconfigND_CACHE_ENTRIES; i++ ) in test_vNDAgeCache_AgeZero()
782 NDCacheRow_t xTempNDCache[ ipconfigND_CACHE_ENTRIES ]; in test_FreeRTOS_ClearND()