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/
DFreeRTOS_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 …]
DFreeRTOS_DNS_Networking.h55 BaseType_t DNS_ReadReply( ConstSocket_t xDNSSocket,
DFreeRTOS_DHCP.h246 BaseType_t xIsDHCPSocket( const ConstSocket_t xSocket );
DFreeRTOS_Routing.h321 NetworkEndPoint_t * pxGetSocketEndpoint( ConstSocket_t xSocket );
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName/
DDNSgetHostByName_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/
DFreeRTOS_DNS_Networking.c139 BaseType_t DNS_ReadReply( ConstSocket_t xDNSSocket, in DNS_ReadReply()
DFreeRTOS_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 …]
DFreeRTOS_Routing.c1115 NetworkEndPoint_t * pxGetSocketEndpoint( ConstSocket_t xSocket ) in pxGetSocketEndpoint()
DFreeRTOS_DHCP.c161 BaseType_t xIsDHCPSocket( const ConstSocket_t xSocket ) in xIsDHCPSocket()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6ProcessEndPoint/
DDHCPv6ProcessEndPoint_harness.c85 BaseType_t xSocketValid( const ConstSocket_t xSocket ) in xSocketValid()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcessEndPoint/
DDHCPProcessEndPoint_harness.c84 BaseType_t xSocketValid( const ConstSocket_t xSocket ) in xSocketValid()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcess/
DDHCPProcess_harness.c88 BaseType_t xSocketValid( const ConstSocket_t xSocket ) in xSocketValid()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6Process/
DDHCPv6Process_harness.c101 BaseType_t xSocketValid( const ConstSocket_t xSocket ) in xSocketValid()