Searched refs:eARPGetCacheEntry (Results 1 – 7 of 7) sorted by relevance
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARPGetCacheEntry/ |
| D | ARPGetCacheEntry_harness.c | 16 eARPGetCacheEntry( &ulIPAddress, &xMACAddress ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_ARP.h | 103 eARPLookupResult_t eARPGetCacheEntry( uint32_t * pulIPAddress,
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket/ |
| D | vProcessGeneratedUDPPacket_harness.c | 67 eARPLookupResult_t eARPGetCacheEntry( uint32_t * pulIPAddress, in eARPGetCacheEntry() function
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ARP/ |
| D | FreeRTOS_ARP_utest.c | 1287 catch_assert( eARPGetCacheEntry( NULL, &xMACAddress ) ); in test_eARPGetCacheEntry_CatchAssert() 1288 catch_assert( eARPGetCacheEntry( &ulIPAddress, NULL ) ); in test_eARPGetCacheEntry_CatchAssert() 1302 eResult = eARPGetCacheEntry( &ulIPAddress, &xMACAddress ); in test_eARPGetCacheEntry_IPMatchesBroadcastAddr() 1319 eResult = eARPGetCacheEntry( &ulIPAddress, &xMACAddress ); in test_eARPGetCacheEntry_IPMatchesOtherBroadcastAddr() 1337 eResult = eARPGetCacheEntry( &ulIPAddress, &xMACAddress ); in test_eARPGetCacheEntry_LocalIPIsZero() 1354 eResult = eARPGetCacheEntry( &ulIPAddress, &xMACAddress ); in test_eARPGetCacheEntry_LocalIPMatchesReceivedIP() 1376 eResult = eARPGetCacheEntry( &ulIPAddress, &xMACAddress ); in test_eARPGetCacheEntry_MatchingInvalidEntry() 1398 eResult = eARPGetCacheEntry( &ulIPAddress, &xMACAddress ); in test_eARPGetCacheEntry_MatchingValidEntry() 1422 eResult = eARPGetCacheEntry( &ulIPAddress, &xMACAddress ); in test_eARPGetCacheEntry_GatewayAddressZero() 1443 eResult = eARPGetCacheEntry( &ulIPAddress, &xMACAddress ); in test_eARPGetCacheEntry_AddressNotOnLocalAddress() [all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_ARP.c | 696 eARPLookupResult_t eARPGetCacheEntry( uint32_t * pulIPAddress, in eARPGetCacheEntry() function 1005 xLookupResult = eARPGetCacheEntry( &( ulIPAddressCopy ), &( xMACAddress ) ); in xARPWaitResolution() 1020 xLookupResult = eARPGetCacheEntry( &( ulIPAddressCopy ), &( xMACAddress ) ); in xARPWaitResolution()
|
| D | FreeRTOS_UDP_IP.c | 124 …eReturned = eARPGetCacheEntry( &( ulIPAddress ), &( pxUDPPacket->xEthernetHeader.xDestinationAddre… in vProcessGeneratedUDPPacket()
|
| D | FreeRTOS_TCP_Transmission.c | 490 eResult = eARPGetCacheEntry( &ulDestinationIPAddress, &xMACAddress ); in prvTCPReturnPacket() 621 eReturned = eARPGetCacheEntry( &( ulRemoteIP ), &( xEthAddress ) ); in prvTCPPrepareConnect()
|