Searched refs:pulNetMask (Results 1 – 4 of 4) sorted by relevance
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/stubs/ |
| D | freertos_api.c | 339 uint32_t * pulNetMask, in FreeRTOS_GetAddressConfiguration() argument
348 if( pulNetMask != NULL ) in FreeRTOS_GetAddressConfiguration()
350 *pulNetMask = nondet_unint32(); in FreeRTOS_GetAddressConfiguration()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_IP.h | 304 uint32_t * pulNetMask,
309 const uint32_t * pulNetMask,
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_IP.c | 852 uint32_t * pulNetMask, in FreeRTOS_GetAddressConfiguration() argument
863 if( pulNetMask != NULL ) in FreeRTOS_GetAddressConfiguration()
865 *pulNetMask = xNetworkAddressing.ulNetMask; in FreeRTOS_GetAddressConfiguration()
890 const uint32_t * pulNetMask, in FreeRTOS_SetAddressConfiguration() argument
901 if( pulNetMask != NULL ) in FreeRTOS_SetAddressConfiguration()
903 xNetworkAddressing.ulNetMask = *pulNetMask; in FreeRTOS_SetAddressConfiguration()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP/ |
| D | FreeRTOS_IP_utest.c | 502 uint32_t * pulNetMask = &ulNetMask; in test_FreeRTOS_GetAddressConfiguration_HappyPath() local
511 …FreeRTOS_GetAddressConfiguration( pulIPAddress, pulNetMask, pulGatewayAddress, pulDNSServerAddress… in test_FreeRTOS_GetAddressConfiguration_HappyPath()
514 TEST_ASSERT_EQUAL( ulStoredNetMask, *pulNetMask ); in test_FreeRTOS_GetAddressConfiguration_HappyPath()
526 uint32_t * pulNetMask = NULL; in test_FreeRTOS_GetAddressConfiguration_AllPointersNull() local
535 …FreeRTOS_GetAddressConfiguration( pulIPAddress, pulNetMask, pulGatewayAddress, pulDNSServerAddress… in test_FreeRTOS_GetAddressConfiguration_AllPointersNull()
538 TEST_ASSERT_EQUAL( NULL, pulNetMask ); in test_FreeRTOS_GetAddressConfiguration_AllPointersNull()
550 uint32_t * pulNetMask = &ulStoredNetMask; in test_FreeRTOS_SetAddressConfiguration_HappyPath() local
559 …FreeRTOS_SetAddressConfiguration( pulIPAddress, pulNetMask, pulGatewayAddress, pulDNSServerAddress… in test_FreeRTOS_SetAddressConfiguration_HappyPath()
570 uint32_t * pulNetMask = NULL; in test_FreeRTOS_SetAddressConfiguration_AllValuesNULL() local
579 …FreeRTOS_SetAddressConfiguration( pulIPAddress, pulNetMask, pulGatewayAddress, pulDNSServerAddress… in test_FreeRTOS_SetAddressConfiguration_AllValuesNULL()
|
