Home
last modified time | relevance | path

Searched refs:ConstSocket_t (Results 1 – 13 of 13) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/source/include/
HDFreeRTOS_Sockets.h195 typedef struct xSOCKET const * ConstSocket_t; typedef
197 extern BaseType_t xSocketValid( const ConstSocket_t xSocket );
250 int32_t FreeRTOS_recvfrom( const ConstSocket_t xSocket,
259 size_t FreeRTOS_GetLocalAddress( ConstSocket_t xSocket,
339 BaseType_t FreeRTOS_rx_size( ConstSocket_t xSocket );
344 BaseType_t FreeRTOS_tx_space( ConstSocket_t xSocket );
349 BaseType_t FreeRTOS_tx_size( ConstSocket_t xSocket );
352 BaseType_t FreeRTOS_issocketconnected( ConstSocket_t xSocket );
355 BaseType_t FreeRTOS_GetRemoteAddress( ConstSocket_t xSocket,
359 BaseType_t FreeRTOS_GetIPType( ConstSocket_t xSocket );
[all …]
HDFreeRTOS_DNS_Networking.h55 BaseType_t DNS_ReadReply( ConstSocket_t xDNSSocket,
HDFreeRTOS_DHCP.h246 BaseType_t xIsDHCPSocket( const ConstSocket_t xSocket );
HDFreeRTOS_Routing.h321 NetworkEndPoint_t * pxGetSocketEndpoint( ConstSocket_t xSocket );
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName/
HDDNSgetHostByName_harness.c25 BaseType_t DNS_ReadReply( ConstSocket_t xDNSSocket,
105 BaseType_t DNS_ReadReply( ConstSocket_t xDNSSocket, in DNS_ReadReply()
/FreeRTOS-Plus-TCP-v4.0.0/source/
HDFreeRTOS_DNS_Networking.c139 BaseType_t DNS_ReadReply( ConstSocket_t xDNSSocket, in DNS_ReadReply()
HDFreeRTOS_Sockets.c922 EventBits_t FreeRTOS_FD_ISSET( const ConstSocket_t xSocket, in FreeRTOS_FD_ISSET()
1265 int32_t FreeRTOS_recvfrom( const ConstSocket_t xSocket, in FreeRTOS_recvfrom()
3473 size_t FreeRTOS_GetLocalAddress( ConstSocket_t xSocket, in FreeRTOS_GetLocalAddress()
4375 uint8_t * FreeRTOS_get_tx_head( ConstSocket_t xSocket, in FreeRTOS_get_tx_head()
4958 const struct xSTREAM_BUFFER * FreeRTOS_get_rx_buf( ConstSocket_t xSocket ) in FreeRTOS_get_rx_buf()
5290 BaseType_t FreeRTOS_GetRemoteAddress( ConstSocket_t xSocket, in FreeRTOS_GetRemoteAddress()
5359 BaseType_t FreeRTOS_GetIPType( ConstSocket_t xSocket ) in FreeRTOS_GetIPType()
5394 BaseType_t FreeRTOS_maywrite( ConstSocket_t xSocket ) in FreeRTOS_maywrite()
5436 BaseType_t FreeRTOS_tx_space( ConstSocket_t xSocket ) in FreeRTOS_tx_space()
5474 BaseType_t FreeRTOS_tx_size( ConstSocket_t xSocket ) in FreeRTOS_tx_size()
[all …]
HDFreeRTOS_Routing.c1115 NetworkEndPoint_t * pxGetSocketEndpoint( ConstSocket_t xSocket ) in pxGetSocketEndpoint()
HDFreeRTOS_DHCP.c161 BaseType_t xIsDHCPSocket( const ConstSocket_t xSocket ) in xIsDHCPSocket()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6ProcessEndPoint/
HDDHCPv6ProcessEndPoint_harness.c85 BaseType_t xSocketValid( const ConstSocket_t xSocket ) in xSocketValid()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcessEndPoint/
HDDHCPProcessEndPoint_harness.c84 BaseType_t xSocketValid( const ConstSocket_t xSocket ) in xSocketValid()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcess/
HDDHCPProcess_harness.c88 BaseType_t xSocketValid( const ConstSocket_t xSocket ) in xSocketValid()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6Process/
HDDHCPv6Process_harness.c101 BaseType_t xSocketValid( const ConstSocket_t xSocket ) in xSocketValid()