Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/stubs/
Dfreertos_kernel_api.c74 EventBits_t xEventGroupSetBits( EventGroupHandle_t xEventGroup, in xEventGroupSetBits() function
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketWakeUpUser/
DvSocketWakeUpUser_harness.c118 EventBits_t xEventGroupSetBits( EventGroupHandle_t xEventGroup, in xEventGroupSetBits() function
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_UDP_IPv4.c461 … ( void ) xEventGroupSetBits( pxSocket->xEventGroup, ( EventBits_t ) eSOCKET_RECEIVE ); in xProcessReceivedUDPPacket_IPv4()
468 … ( void ) xEventGroupSetBits( pxSocket->pxSocketSet->xSelectGroup, ( EventBits_t ) eSELECT_READ ); in xProcessReceivedUDPPacket_IPv4()
DFreeRTOS_UDP_IPv6.c552 … ( void ) xEventGroupSetBits( pxSocket->xEventGroup, ( EventBits_t ) eSOCKET_RECEIVE ); in xProcessReceivedUDPPacket_IPv6()
559 … ( void ) xEventGroupSetBits( pxSocket->pxSocketSet->xSelectGroup, ( EventBits_t ) eSELECT_READ ); in xProcessReceivedUDPPacket_IPv6()
DFreeRTOS_Sockets.c1147 … ( void ) xEventGroupSetBits( pxSocket->xEventGroup, ( EventBits_t ) eSOCKET_RECEIVE ); in prvRecvFromWaitForPacket()
3548 ( void ) xEventGroupSetBits( pxSocket->pxSocketSet->xSelectGroup, xSelectBits ); in vSocketWakeUpUser()
3558 ( void ) xEventGroupSetBits( pxSocket->xEventGroup, pxSocket->xEventBits ); in vSocketWakeUpUser()
4277 ( void ) xEventGroupSetBits( pxSocket->xEventGroup, xEventBits ); in FreeRTOS_recv()
6096 …( void ) xEventGroupSetBits( pxSocketSet->xSelectGroup, xGroupBits | ( EventBits_t ) eSELECT_CALL_… in vSocketSelect()
6130 … ( void ) xEventGroupSetBits( pxSocket->pxSocketSet->xSelectGroup, ( EventBits_t ) eSELECT_INTR ); in FreeRTOS_SignalSocket()
6137 ( void ) xEventGroupSetBits( pxSocket->xEventGroup, ( EventBits_t ) eSOCKET_INTR ); in FreeRTOS_SignalSocket()