Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARPGetCacheEntryByMac/
DARPGetCacheEntryByMac_harness.c15 eARPGetCacheEntryByMac( &xMACAddress, &ulIPAddress ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_ARP.h109 eARPLookupResult_t eARPGetCacheEntryByMac( const MACAddress_t * const pxMACAddress,
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ARP/
DFreeRTOS_ARP_utest.c1233 catch_assert( eARPGetCacheEntryByMac( NULL, &ulIPAddress ) ); in test_eARPGetCacheEntryByMac_catchAssert()
1234 catch_assert( eARPGetCacheEntryByMac( &xMACAddress, NULL ) ); in test_eARPGetCacheEntryByMac_catchAssert()
1252 eResult = eARPGetCacheEntryByMac( &xMACAddress, &ulIPAddress ); in test_eARPGetCacheEntryByMac_NoMatchingEntries()
1276 eResult = eARPGetCacheEntryByMac( &xMACAddress, &ulIPAddress ); in test_eARPGetCacheEntryByMac_OneMatchingEntry()
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_ARP.c654 eARPLookupResult_t eARPGetCacheEntryByMac( const MACAddress_t * const pxMACAddress, in eARPGetCacheEntryByMac() function