Searched refs:pulDNSServerAddress (Results 1 – 3 of 3) sorted by relevance
338 uint32_t * pulDNSServerAddress );343 const uint32_t * pulDNSServerAddress );358 uint32_t * pulDNSServerAddress,364 const uint32_t * pulDNSServerAddress,
342 uint32_t * pulDNSServerAddress ) in FreeRTOS_GetAddressConfiguration() argument359 if( pulDNSServerAddress != NULL ) in FreeRTOS_GetAddressConfiguration()361 *pulDNSServerAddress = nondet_unint32(); in FreeRTOS_GetAddressConfiguration()
1068 uint32_t * pulDNSServerAddress, in FreeRTOS_GetEndPointConfiguration() argument1090 if( pulDNSServerAddress != NULL ) in FreeRTOS_GetEndPointConfiguration()1092 …*pulDNSServerAddress = pxEndPoint->ipv4_settings.ulDNSServerAddresses[ 0 ]; /*_RB_ Only returning … in FreeRTOS_GetEndPointConfiguration()1114 uint32_t * pulDNSServerAddress ) in FreeRTOS_GetAddressConfiguration() argument1124 pulGatewayAddress, pulDNSServerAddress, pxEndPoint ); in FreeRTOS_GetAddressConfiguration()1143 const uint32_t * pulDNSServerAddress, in FreeRTOS_SetEndPointConfiguration() argument1165 if( pulDNSServerAddress != NULL ) in FreeRTOS_SetEndPointConfiguration()1167 pxEndPoint->ipv4_settings.ulDNSServerAddresses[ 0 ] = *pulDNSServerAddress; in FreeRTOS_SetEndPointConfiguration()1189 const uint32_t * pulDNSServerAddress ) in FreeRTOS_SetAddressConfiguration() argument1199 pulGatewayAddress, pulDNSServerAddress, pxEndPoint ); in FreeRTOS_SetAddressConfiguration()
