Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_ARP.c655 uint32_t * pulIPAddress ) in eARPGetCacheEntryByMac() argument
661 configASSERT( pulIPAddress != NULL ); in eARPGetCacheEntryByMac()
670 *pulIPAddress = xARPCache[ x ].ulIPAddress; in eARPGetCacheEntryByMac()
696 eARPLookupResult_t eARPGetCacheEntry( uint32_t * pulIPAddress, in eARPGetCacheEntry() argument
703 configASSERT( pulIPAddress != NULL ); in eARPGetCacheEntry()
705 ulAddressToLookup = *pulIPAddress; in eARPGetCacheEntry()
714 …else if( ( *pulIPAddress == ipBROADCAST_IP_ADDRESS ) || /* Is it the general broadca… in eARPGetCacheEntry()
715 …( *pulIPAddress == xNetworkAddressing.ulBroadcastAddress ) ) /* Or a local broadcast address, eg 1… in eARPGetCacheEntry()
727 else if( *ipLOCAL_IP_ADDRESS_POINTER == *pulIPAddress ) in eARPGetCacheEntry()
737 …if( ( *pulIPAddress & xNetworkAddressing.ulNetMask ) != ( ( *ipLOCAL_IP_ADDRESS_POINTER ) & xNetwo… in eARPGetCacheEntry()
[all …]
DFreeRTOS_IP.c851 void FreeRTOS_GetAddressConfiguration( uint32_t * pulIPAddress, in FreeRTOS_GetAddressConfiguration() argument
858 if( pulIPAddress != NULL ) in FreeRTOS_GetAddressConfiguration()
860 *pulIPAddress = *ipLOCAL_IP_ADDRESS_POINTER; in FreeRTOS_GetAddressConfiguration()
889 void FreeRTOS_SetAddressConfiguration( const uint32_t * pulIPAddress, in FreeRTOS_SetAddressConfiguration() argument
896 if( pulIPAddress != NULL ) in FreeRTOS_SetAddressConfiguration()
898 *ipLOCAL_IP_ADDRESS_POINTER = *pulIPAddress; in FreeRTOS_SetAddressConfiguration()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_ARP.h103 eARPLookupResult_t eARPGetCacheEntry( uint32_t * pulIPAddress,
110 uint32_t * pulIPAddress );
DFreeRTOS_IP.h303 void FreeRTOS_GetAddressConfiguration( uint32_t * pulIPAddress,
308 void FreeRTOS_SetAddressConfiguration( const uint32_t * pulIPAddress,
/FreeRTOS-Plus-TCP-v3.1.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()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/stubs/
Dfreertos_api.c338 void FreeRTOS_GetAddressConfiguration( uint32_t * pulIPAddress, in FreeRTOS_GetAddressConfiguration() argument
343 if( pulIPAddress != NULL ) in FreeRTOS_GetAddressConfiguration()
345 *pulIPAddress = nondet_unint32(); in FreeRTOS_GetAddressConfiguration()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP/
DFreeRTOS_IP_utest.c501 uint32_t * pulIPAddress = &ulIPAddress; in test_FreeRTOS_GetAddressConfiguration_HappyPath() local
511 …FreeRTOS_GetAddressConfiguration( pulIPAddress, pulNetMask, pulGatewayAddress, pulDNSServerAddress… in test_FreeRTOS_GetAddressConfiguration_HappyPath()
513 TEST_ASSERT_EQUAL( ulStoredIPAddress, *pulIPAddress ); in test_FreeRTOS_GetAddressConfiguration_HappyPath()
525 uint32_t * pulIPAddress = NULL; in test_FreeRTOS_GetAddressConfiguration_AllPointersNull() local
535 …FreeRTOS_GetAddressConfiguration( pulIPAddress, pulNetMask, pulGatewayAddress, pulDNSServerAddress… in test_FreeRTOS_GetAddressConfiguration_AllPointersNull()
537 TEST_ASSERT_EQUAL( NULL, pulIPAddress ); in test_FreeRTOS_GetAddressConfiguration_AllPointersNull()
549 uint32_t * pulIPAddress = &ulStoredIPAddress; in test_FreeRTOS_SetAddressConfiguration_HappyPath() local
559 …FreeRTOS_SetAddressConfiguration( pulIPAddress, pulNetMask, pulGatewayAddress, pulDNSServerAddress… in test_FreeRTOS_SetAddressConfiguration_HappyPath()
569 uint32_t * pulIPAddress = NULL; in test_FreeRTOS_SetAddressConfiguration_AllValuesNULL() local
579 …FreeRTOS_SetAddressConfiguration( pulIPAddress, pulNetMask, pulGatewayAddress, pulDNSServerAddress… in test_FreeRTOS_SetAddressConfiguration_AllValuesNULL()