Searched refs:xDNSSocket (Results 1 – 4 of 4) sorted by relevance
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_DNS_Networking.c | 95 BaseType_t DNS_SendRequest( Socket_t xDNSSocket, in DNS_SendRequest() argument
104 if( FreeRTOS_sendto( xDNSSocket, in DNS_SendRequest()
129 void DNS_ReadReply( const ConstSocket_t xDNSSocket, in DNS_ReadReply() argument
136 pxReceiveBuffer->uxPayloadLength = ( size_t ) FreeRTOS_recvfrom( xDNSSocket, in DNS_ReadReply()
149 void DNS_CloseSocket( Socket_t xDNSSocket ) in DNS_CloseSocket() argument
151 ( void ) FreeRTOS_closesocket( xDNSSocket ); in DNS_CloseSocket()
|
| D | FreeRTOS_DNS.c | 472 Socket_t xDNSSocket, in prvSendBuffer() argument
501 uxReturn = DNS_SendRequest( xDNSSocket, in prvSendBuffer()
523 Socket_t xDNSSocket ) in prvGetHostByNameOp() argument
537 xDNSSocket, in prvGetHostByNameOp()
548 DNS_ReadReply( xDNSSocket, in prvGetHostByNameOp()
580 Socket_t xDNSSocket ) in prvGetHostByNameOp_WithRetry() argument
589 xDNSSocket ); in prvGetHostByNameOp_WithRetry()
615 Socket_t xDNSSocket; in prvGetHostByName() local
618 xDNSSocket = DNS_CreateSocket( uxReadTimeOut_ticks ); in prvGetHostByName()
620 if( xDNSSocket != NULL ) in prvGetHostByName()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName/ |
| D | DNSgetHostByName_harness.c | 24 void DNS_CloseSocket( Socket_t xDNSSocket );
25 void DNS_ReadReply( Socket_t xDNSSocket,
28 uint32_t DNS_SendRequest( Socket_t xDNSSocket,
79 uint32_t DNS_SendRequest( Socket_t xDNSSocket, in DNS_SendRequest() argument
97 void DNS_ReadReply( Socket_t xDNSSocket, in DNS_ReadReply() argument
114 void DNS_CloseSocket( Socket_t xDNSSocket ) in DNS_CloseSocket() argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_DNS_Networking.h | 41 BaseType_t DNS_SendRequest( Socket_t xDNSSocket,
45 void DNS_ReadReply( const ConstSocket_t xDNSSocket,
49 void DNS_CloseSocket( Socket_t xDNSSocket );
|
