Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ulARPRemoveCacheEntryByMac/
DulARPRemoveCacheEntryByMac_harness.c19 ulARPRemoveCacheEntryByMac( &xMACAddress ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_ARP.h86 uint32_t ulARPRemoveCacheEntryByMac( const MACAddress_t * pxMACAddress );
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ARP/
DFreeRTOS_ARP_utest.c958 catch_assert( ulARPRemoveCacheEntryByMac( NULL ) ); in test_ulARPRemoveCacheEntryByMac_NoMatch()
968 ulResult = ulARPRemoveCacheEntryByMac( &xMACAddress ); in test_ulARPRemoveCacheEntryByMac_NoMatch()
993 ulResult = ulARPRemoveCacheEntryByMac( &xMACAddress ); in test_ulARPRemoveCacheEntryByMac_OneMatchingEntry()
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_ARP.c440 uint32_t ulARPRemoveCacheEntryByMac( const MACAddress_t * pxMACAddress ) in ulARPRemoveCacheEntryByMac() function