Searched refs:pulNetMask (Results 1 – 3 of 3) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_IP.h | 336 uint32_t * pulNetMask,
341 const uint32_t * pulNetMask,
356 uint32_t * pulNetMask,
362 const uint32_t * pulNetMask,
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/stubs/ |
| D | freertos_api.c | 340 uint32_t * pulNetMask, in FreeRTOS_GetAddressConfiguration() argument
349 if( pulNetMask != NULL ) in FreeRTOS_GetAddressConfiguration()
351 *pulNetMask = nondet_unint32(); in FreeRTOS_GetAddressConfiguration()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_IP.c | 1066 uint32_t * pulNetMask, in FreeRTOS_GetEndPointConfiguration() argument
1080 if( pulNetMask != NULL ) in FreeRTOS_GetEndPointConfiguration()
1082 *pulNetMask = pxEndPoint->ipv4_settings.ulNetMask; in FreeRTOS_GetEndPointConfiguration()
1112 uint32_t * pulNetMask, in FreeRTOS_GetAddressConfiguration() argument
1123 FreeRTOS_GetEndPointConfiguration( pulIPAddress, pulNetMask, in FreeRTOS_GetAddressConfiguration()
1141 const uint32_t * pulNetMask, in FreeRTOS_SetEndPointConfiguration() argument
1155 if( pulNetMask != NULL ) in FreeRTOS_SetEndPointConfiguration()
1157 pxEndPoint->ipv4_settings.ulNetMask = *pulNetMask; in FreeRTOS_SetEndPointConfiguration()
1187 const uint32_t * pulNetMask, in FreeRTOS_SetAddressConfiguration() argument
1198 FreeRTOS_SetEndPointConfiguration( pulIPAddress, pulNetMask, in FreeRTOS_SetAddressConfiguration()
|
