Home
last modified time | relevance | path

Searched defs:ulAddressToLookup (Results 1 – 2 of 2) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_ARP.c485 BaseType_t xIsIPInARPCache( uint32_t ulAddressToLookup ) in xIsIPInARPCache()
960 uint32_t ulAddressToLookup; in eARPGetCacheEntry() local
1027 uint32_t ulAddressToLookup = *( pulIPAddress ); in eARPGetCacheEntryGateWay() local
1117 static eARPLookupResult_t prvCacheLookup( uint32_t ulAddressToLookup, in prvCacheLookup()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/xCheckRequiresARPResolution/
DxCheckRequiresARPResolution_harness.c16 BaseType_t xIsIPInARPCache( uint32_t ulAddressToLookup ) in xIsIPInARPCache()