Home
last modified time | relevance | path

Searched refs:xSOCKET_SET (Results 1 – 3 of 3) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_Sockets.h501 struct xSOCKET_SET;
502 typedef struct xSOCKET_SET * SocketSet_t;
503 typedef struct xSOCKET_SET const * ConstSocketSet_t;
DFreeRTOS_IP_Private.h677 struct xSOCKET_SET * pxSocketSet; /**< Pointer to the socket set structure */
830 typedef struct xSOCKET_SET struct
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketWakeUpUser/
DvSocketWakeUpUser_harness.c143 pxSocket->pxSocketSet = safeMalloc( sizeof( struct xSOCKET_SET ) ); in harness()