Searched refs:pulGatewayAddress (Results 1 – 3 of 3) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_IP.h | 337 uint32_t * pulGatewayAddress,
342 const uint32_t * pulGatewayAddress,
357 uint32_t * pulGatewayAddress,
363 const uint32_t * pulGatewayAddress,
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/stubs/ |
| D | freertos_api.c | 341 uint32_t * pulGatewayAddress, in FreeRTOS_GetAddressConfiguration() argument
354 if( pulGatewayAddress != NULL ) in FreeRTOS_GetAddressConfiguration()
356 *pulGatewayAddress = nondet_unint32(); in FreeRTOS_GetAddressConfiguration()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_IP.c | 1067 uint32_t * pulGatewayAddress, in FreeRTOS_GetEndPointConfiguration() argument
1085 if( pulGatewayAddress != NULL ) in FreeRTOS_GetEndPointConfiguration()
1087 *pulGatewayAddress = pxEndPoint->ipv4_settings.ulGatewayAddress; in FreeRTOS_GetEndPointConfiguration()
1113 uint32_t * pulGatewayAddress, in FreeRTOS_GetAddressConfiguration() argument
1124 pulGatewayAddress, pulDNSServerAddress, pxEndPoint ); in FreeRTOS_GetAddressConfiguration()
1142 const uint32_t * pulGatewayAddress, in FreeRTOS_SetEndPointConfiguration() argument
1160 if( pulGatewayAddress != NULL ) in FreeRTOS_SetEndPointConfiguration()
1162 pxEndPoint->ipv4_settings.ulGatewayAddress = *pulGatewayAddress; in FreeRTOS_SetEndPointConfiguration()
1188 const uint32_t * pulGatewayAddress, in FreeRTOS_SetAddressConfiguration() argument
1199 pulGatewayAddress, pulDNSServerAddress, pxEndPoint ); in FreeRTOS_SetAddressConfiguration()
|
