Searched refs:pulDNSServerAddress (Results 1 – 4 of 4) sorted by relevance
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/stubs/ |
| D | freertos_api.c | 341 uint32_t * pulDNSServerAddress ) in FreeRTOS_GetAddressConfiguration() argument
358 if( pulDNSServerAddress != NULL ) in FreeRTOS_GetAddressConfiguration()
360 *pulDNSServerAddress = nondet_unint32(); in FreeRTOS_GetAddressConfiguration()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_IP.h | 306 uint32_t * pulDNSServerAddress );
311 const uint32_t * pulDNSServerAddress );
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_IP.c | 854 uint32_t * pulDNSServerAddress ) in FreeRTOS_GetAddressConfiguration() argument
873 if( pulDNSServerAddress != NULL ) in FreeRTOS_GetAddressConfiguration()
875 *pulDNSServerAddress = xNetworkAddressing.ulDNSServerAddress; in FreeRTOS_GetAddressConfiguration()
892 const uint32_t * pulDNSServerAddress ) in FreeRTOS_SetAddressConfiguration() argument
911 if( pulDNSServerAddress != NULL ) in FreeRTOS_SetAddressConfiguration()
913 xNetworkAddressing.ulDNSServerAddress = *pulDNSServerAddress; in FreeRTOS_SetAddressConfiguration()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP/ |
| D | FreeRTOS_IP_utest.c | 504 uint32_t * pulDNSServerAddress = &ulDNSServerAddress; in test_FreeRTOS_GetAddressConfiguration_HappyPath() local
511 …eeRTOS_GetAddressConfiguration( pulIPAddress, pulNetMask, pulGatewayAddress, pulDNSServerAddress ); in test_FreeRTOS_GetAddressConfiguration_HappyPath()
516 TEST_ASSERT_EQUAL( ulStoredDNSServerAddress, *pulDNSServerAddress ); in test_FreeRTOS_GetAddressConfiguration_HappyPath()
528 uint32_t * pulDNSServerAddress = NULL; in test_FreeRTOS_GetAddressConfiguration_AllPointersNull() local
535 …eeRTOS_GetAddressConfiguration( pulIPAddress, pulNetMask, pulGatewayAddress, pulDNSServerAddress ); in test_FreeRTOS_GetAddressConfiguration_AllPointersNull()
540 TEST_ASSERT_EQUAL( NULL, pulDNSServerAddress ); in test_FreeRTOS_GetAddressConfiguration_AllPointersNull()
552 uint32_t * pulDNSServerAddress = &ulStoredDNSServerAddress; in test_FreeRTOS_SetAddressConfiguration_HappyPath() local
559 …eeRTOS_SetAddressConfiguration( pulIPAddress, pulNetMask, pulGatewayAddress, pulDNSServerAddress ); in test_FreeRTOS_SetAddressConfiguration_HappyPath()
572 uint32_t * pulDNSServerAddress = NULL; in test_FreeRTOS_SetAddressConfiguration_AllValuesNULL() local
579 …eeRTOS_SetAddressConfiguration( pulIPAddress, pulNetMask, pulGatewayAddress, pulDNSServerAddress ); in test_FreeRTOS_SetAddressConfiguration_AllValuesNULL()
|
