Home
last modified time | relevance | path

Searched refs:ucDNSIndex (Results 1 – 7 of 7) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS/
DFreeRTOS_DNS_utest.c109 xEndPoint.ipv4_settings.ucDNSIndex = 0; in test_FreeRTOS_gethostbyname_FailAllocateNetworkBuffer()
229 xEndPoint.ipv4_settings.ucDNSIndex = 0; in test_FreeRTOS_gethostbyname_FailSendDNSRequest()
285 xEndPoint.ipv4_settings.ucDNSIndex = 0; in test_FreeRTOS_gethostbyname_FailReadDNSReplyNull()
344 xEndPoint.ipv4_settings.ucDNSIndex = 0; in test_FreeRTOS_gethostbyname_FailSendDNSReplyZero()
406 xEndPoint.ipv4_settings.ucDNSIndex = 0; in test_FreeRTOS_gethostbyname_Success()
695 xEndPoint.ipv4_settings.ucDNSIndex = 0; in test_FreeRTOS_gethostbyname_a_NoCallbackRetryOnce()
996 xEndPoint[ 1 ].ipv4_settings.ucDNSIndex = 0; in test_FreeRTOS_getaddrinfo_a_IPv4Random_BindFailWithDot()
1000 xEndPoint[ 2 ].ipv4_settings.ucDNSIndex = 0; in test_FreeRTOS_getaddrinfo_a_IPv4Random_BindFailWithDot()
1004 xEndPoint[ 3 ].ipv4_settings.ucDNSIndex = 0; in test_FreeRTOS_getaddrinfo_a_IPv4Random_BindFailWithDot()
1055 xEndPoint[ 1 ].ipv6_settings.ucDNSIndex = 0; in test_FreeRTOS_getaddrinfo_a_IPv6Random_BindFailWithDot()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName_a/
DDNSgetHostByName_a_harness.c171 …__CPROVER_assume( pxNetworkEndPoints->ipv6_settings.ucDNSIndex < ipconfigENDPOINT_DNS_ADDRESS_COUN… in harness()
172 …__CPROVER_assume( pxNetworkEndPoints->ipv4_settings.ucDNSIndex < ipconfigENDPOINT_DNS_ADDRESS_COUN… in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName/
DDNSgetHostByName_harness.c219 …__CPROVER_assume( pxNetworkEndPoints->ipv6_settings.ucDNSIndex < ipconfigENDPOINT_DNS_ADDRESS_COUN… in harness()
220 …__CPROVER_assume( pxNetworkEndPoints->ipv4_settings.ucDNSIndex < ipconfigENDPOINT_DNS_ADDRESS_COUN… in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_ConfigNoCallback/
DFreeRTOS_DNS_ConfigNoCallback_utest.c170 xEndPoint.ipv4_settings.ucDNSIndex = 0; in test_FreeRTOS_gethostbyname_DifferentIdentifier()
240 xEndPoint.ipv4_settings.ucDNSIndex = 0; in test_FreeRTOS_gethostbyname_SameIdentifier()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_Routing.h95 …uint8_t ucDNSIndex; /**< The index of the next DN… member
106 uint8_t ucDNSIndex; /**< The index of the next DNS address to be used. */ member
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_DNS.c732 uint8_t ucIndex = pxEndPoint->ipv6_settings.ucDNSIndex; in prvIncreaseDNS6Index()
752 pxEndPoint->ipv6_settings.ucDNSIndex = ucIndex; in prvIncreaseDNS6Index()
767 uint8_t ucIndex = pxEndPoint->ipv4_settings.ucDNSIndex; in prvIncreaseDNS4Index()
787 pxEndPoint->ipv4_settings.ucDNSIndex = ucIndex; in prvIncreaseDNS4Index()
1009 uint8_t ucIndex = pxEndPoint->ipv4_settings.ucDNSIndex; in prvFillSockAddress()
1029 uint8_t ucIndex = pxEndPoint->ipv6_settings.ucDNSIndex; in prvFillSockAddress()
DFreeRTOS_DHCP.c1059 EP_IPv4_SETTINGS.ucDNSIndex = 0U; in vProcessHandleOption()