Home
last modified time | relevance | path

Searched refs:pulIPAddress (Results 1 – 7 of 7) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARPProcessPacket/
DARPProcessPacket_harness.c21 eARPLookupResult_t eARPGetCacheEntry( uint32_t * pulIPAddress, in eARPGetCacheEntry() argument
27 __CPROVER_assert( pulIPAddress != NULL, "pulIPAddress cannot be NULL." ); in eARPGetCacheEntry()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_ARP.h132 eARPLookupResult_t eARPGetCacheEntry( uint32_t * pulIPAddress,
140 uint32_t * pulIPAddress,
DFreeRTOS_IP.h335 void FreeRTOS_GetAddressConfiguration( uint32_t * pulIPAddress,
340 void FreeRTOS_SetAddressConfiguration( const uint32_t * pulIPAddress,
355 void FreeRTOS_GetEndPointConfiguration( uint32_t * pulIPAddress,
361 void FreeRTOS_SetEndPointConfiguration( const uint32_t * pulIPAddress,
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_ARP.c102 static eARPLookupResult_t eARPGetCacheEntryGateWay( uint32_t * pulIPAddress,
898 uint32_t * pulIPAddress, in eARPGetCacheEntryByMac() argument
905 configASSERT( pulIPAddress != NULL ); in eARPGetCacheEntryByMac()
919 *pulIPAddress = xARPCache[ x ].ulIPAddress; in eARPGetCacheEntryByMac()
955 eARPLookupResult_t eARPGetCacheEntry( uint32_t * pulIPAddress, in eARPGetCacheEntry() argument
964 configASSERT( pulIPAddress != NULL ); in eARPGetCacheEntry()
968 ulAddressToLookup = *pulIPAddress; in eARPGetCacheEntry()
1007 eReturn = eARPGetCacheEntryGateWay( pulIPAddress, pxMACAddress, ppxEndPoint ); in eARPGetCacheEntry()
1022 static eARPLookupResult_t eARPGetCacheEntryGateWay( uint32_t * pulIPAddress, in eARPGetCacheEntryGateWay() argument
1027 uint32_t ulAddressToLookup = *( pulIPAddress ); in eARPGetCacheEntryGateWay()
[all …]
DFreeRTOS_IP.c1065 void FreeRTOS_GetEndPointConfiguration( uint32_t * pulIPAddress, in FreeRTOS_GetEndPointConfiguration() argument
1075 if( pulIPAddress != NULL ) in FreeRTOS_GetEndPointConfiguration()
1077 *pulIPAddress = pxEndPoint->ipv4_settings.ulIPAddress; in FreeRTOS_GetEndPointConfiguration()
1111 void FreeRTOS_GetAddressConfiguration( uint32_t * pulIPAddress, in FreeRTOS_GetAddressConfiguration() argument
1123 FreeRTOS_GetEndPointConfiguration( pulIPAddress, pulNetMask, in FreeRTOS_GetAddressConfiguration()
1140 void FreeRTOS_SetEndPointConfiguration( const uint32_t * pulIPAddress, in FreeRTOS_SetEndPointConfiguration() argument
1150 if( pulIPAddress != NULL ) in FreeRTOS_SetEndPointConfiguration()
1152 pxEndPoint->ipv4_settings.ulIPAddress = *pulIPAddress; in FreeRTOS_SetEndPointConfiguration()
1186 void FreeRTOS_SetAddressConfiguration( const uint32_t * pulIPAddress, in FreeRTOS_SetAddressConfiguration() argument
1198 FreeRTOS_SetEndPointConfiguration( pulIPAddress, pulNetMask, in FreeRTOS_SetAddressConfiguration()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/stubs/
Dfreertos_api.c339 void FreeRTOS_GetAddressConfiguration( uint32_t * pulIPAddress, in FreeRTOS_GetAddressConfiguration() argument
344 if( pulIPAddress != NULL ) in FreeRTOS_GetAddressConfiguration()
346 *pulIPAddress = nondet_unint32(); in FreeRTOS_GetAddressConfiguration()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket/
DvProcessGeneratedUDPPacket_harness.c67 eARPLookupResult_t eARPGetCacheEntry( uint32_t * pulIPAddress, in eARPGetCacheEntry() argument
70 __CPROVER_assert( pulIPAddress != NULL, "pulIPAddress cannot be NULL" ); in eARPGetCacheEntry()