Home
last modified time | relevance | path

Searched defs:xDNSSocket (Results 1 – 3 of 3) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_DNS_Networking.c95 BaseType_t DNS_SendRequest( Socket_t xDNSSocket, in DNS_SendRequest()
129 void DNS_ReadReply( const ConstSocket_t xDNSSocket, in DNS_ReadReply()
149 void DNS_CloseSocket( Socket_t xDNSSocket ) in DNS_CloseSocket()
DFreeRTOS_DNS.c472 Socket_t xDNSSocket, in prvSendBuffer()
523 Socket_t xDNSSocket ) in prvGetHostByNameOp()
580 Socket_t xDNSSocket ) in prvGetHostByNameOp_WithRetry()
615 Socket_t xDNSSocket; in prvGetHostByName() local
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName/
DDNSgetHostByName_harness.c79 uint32_t DNS_SendRequest( Socket_t xDNSSocket, in DNS_SendRequest()
97 void DNS_ReadReply( Socket_t xDNSSocket, in DNS_ReadReply()
114 void DNS_CloseSocket( Socket_t xDNSSocket ) in DNS_CloseSocket()