Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARPGetCacheEntryByMac/
DARPGetCacheEntryByMac_harness.c10 extern ARPCacheRow_t xARPCache[ ipconfigARP_CACHE_ENTRIES ];
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_ARP.h64 } ARPCacheRow_t; typedef
/FreeRTOS-Plus-TCP-v4.0.0/tools/tcp_utilities/
Dtcp_mem_stats.c299 uxBytes = ipconfigARP_CACHE_ENTRIES * sizeof( ARPCacheRow_t ); in vWriteHeader()
302 sizeof( ARPCacheRow_t ), in vWriteHeader()
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_ARP.c116 _static ARPCacheRow_t xARPCache[ ipconfigARP_CACHE_ENTRIES ];
728 … ( void ) memset( &( xARPCache[ xLocation.xIpEntry ] ), 0, sizeof( ARPCacheRow_t ) ); in vARPRefreshCacheEntry()
1503 ( void ) memset( &( xARPCache[ x ] ), 0, sizeof( ARPCacheRow_t ) ); in FreeRTOS_ClearARP()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ARP/
DFreeRTOS_ARP_utest.c29 extern ARPCacheRow_t xARPCache[ ipconfigARP_CACHE_ENTRIES ];
2103 uint8_t MemoryCompare[ sizeof( ARPCacheRow_t ) ]; in test_vARPRefreshCacheEntry_IPAndMACInDifferentLocations()
2105 memset( MemoryCompare, 0, sizeof( ARPCacheRow_t ) ); in test_vARPRefreshCacheEntry_IPAndMACInDifferentLocations()
2106 TEST_ASSERT_EQUAL_MEMORY( MemoryCompare, &xARPCache[ xUseEntry ], sizeof( ARPCacheRow_t ) ); in test_vARPRefreshCacheEntry_IPAndMACInDifferentLocations()
3035 TEST_ASSERT_EQUAL_MEMORY( ucArray, &xARPCache[ 0 ], sizeof( ARPCacheRow_t ) ); in test_FreeRTOS_ClearARP_validEndPoint_Match()