Searched refs:pulGatewayAddress (Results 1 – 4 of 4) sorted by relevance
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/stubs/ |
| D | freertos_api.c | 340 uint32_t * pulGatewayAddress, in FreeRTOS_GetAddressConfiguration() argument
353 if( pulGatewayAddress != NULL ) in FreeRTOS_GetAddressConfiguration()
355 *pulGatewayAddress = nondet_unint32(); in FreeRTOS_GetAddressConfiguration()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_IP.h | 305 uint32_t * pulGatewayAddress,
310 const uint32_t * pulGatewayAddress,
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_IP.c | 853 uint32_t * pulGatewayAddress, in FreeRTOS_GetAddressConfiguration() argument
868 if( pulGatewayAddress != NULL ) in FreeRTOS_GetAddressConfiguration()
870 *pulGatewayAddress = xNetworkAddressing.ulGatewayAddress; in FreeRTOS_GetAddressConfiguration()
891 const uint32_t * pulGatewayAddress, in FreeRTOS_SetAddressConfiguration() argument
906 if( pulGatewayAddress != NULL ) in FreeRTOS_SetAddressConfiguration()
908 xNetworkAddressing.ulGatewayAddress = *pulGatewayAddress; in FreeRTOS_SetAddressConfiguration()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP/ |
| D | FreeRTOS_IP_utest.c | 503 uint32_t * pulGatewayAddress = &ulGatewayAddress; in test_FreeRTOS_GetAddressConfiguration_HappyPath() local
511 …FreeRTOS_GetAddressConfiguration( pulIPAddress, pulNetMask, pulGatewayAddress, pulDNSServerAddress… in test_FreeRTOS_GetAddressConfiguration_HappyPath()
515 TEST_ASSERT_EQUAL( ulStoredGatewayAddress, *pulGatewayAddress ); in test_FreeRTOS_GetAddressConfiguration_HappyPath()
527 uint32_t * pulGatewayAddress = NULL; in test_FreeRTOS_GetAddressConfiguration_AllPointersNull() local
535 …FreeRTOS_GetAddressConfiguration( pulIPAddress, pulNetMask, pulGatewayAddress, pulDNSServerAddress… in test_FreeRTOS_GetAddressConfiguration_AllPointersNull()
539 TEST_ASSERT_EQUAL( NULL, pulGatewayAddress ); in test_FreeRTOS_GetAddressConfiguration_AllPointersNull()
551 uint32_t * pulGatewayAddress = &ulStoredGatewayAddress; in test_FreeRTOS_SetAddressConfiguration_HappyPath() local
559 …FreeRTOS_SetAddressConfiguration( pulIPAddress, pulNetMask, pulGatewayAddress, pulDNSServerAddress… in test_FreeRTOS_SetAddressConfiguration_HappyPath()
571 uint32_t * pulGatewayAddress = NULL; in test_FreeRTOS_SetAddressConfiguration_AllValuesNULL() local
579 …FreeRTOS_SetAddressConfiguration( pulIPAddress, pulNetMask, pulGatewayAddress, pulDNSServerAddress… in test_FreeRTOS_SetAddressConfiguration_AllValuesNULL()
|
