Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v3.1.0/source/
HDFreeRTOS_UDP_IP.c422 … ( void ) xEventGroupSetBits( pxSocket->xEventGroup, ( EventBits_t ) eSOCKET_RECEIVE ); in xProcessReceivedUDPPacket()
429 … ( void ) xEventGroupSetBits( pxSocket->pxSocketSet->xSelectGroup, ( EventBits_t ) eSELECT_READ ); in xProcessReceivedUDPPacket()
HDFreeRTOS_Sockets.c920 … ( void ) xEventGroupSetBits( pxSocket->xEventGroup, ( EventBits_t ) eSOCKET_RECEIVE ); in FreeRTOS_recvfrom()
2892 ( void ) xEventGroupSetBits( pxSocket->pxSocketSet->xSelectGroup, xSelectBits ); in vSocketWakeUpUser()
2902 ( void ) xEventGroupSetBits( pxSocket->xEventGroup, pxSocket->xEventBits ); in vSocketWakeUpUser()
3479 ( void ) xEventGroupSetBits( pxSocket->xEventGroup, xEventBits ); in FreeRTOS_recv()
5067 …( void ) xEventGroupSetBits( pxSocketSet->xSelectGroup, xGroupBits | ( EventBits_t ) eSELECT_CALL_… in vSocketSelect()
5097 … ( void ) xEventGroupSetBits( pxSocket->pxSocketSet->xSelectGroup, ( EventBits_t ) eSELECT_INTR ); in FreeRTOS_SignalSocket()
5104 ( void ) xEventGroupSetBits( pxSocket->xEventGroup, ( EventBits_t ) eSOCKET_INTR ); in FreeRTOS_SignalSocket()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketWakeUpUser/
HDvSocketWakeUpUser_harness.c118 EventBits_t xEventGroupSetBits( EventGroupHandle_t xEventGroup, in xEventGroupSetBits() function