Home
last modified time | relevance | path

Searched refs:xSelectGroup (Results 1 – 11 of 11) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketWakeUpUser/
DvSocketWakeUpUser_harness.c152 pxSocket->pxSocketSet->xSelectGroup = safeMalloc( sizeof( struct EventGroupDef_t ) ); in harness()
155 __CPROVER_assume( pxSocket->pxSocketSet->xSelectGroup != NULL ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_GenericAPI_utest.c425 TEST_ASSERT_EQUAL( xEventGroup, pxSocketSet->xSelectGroup ); in test_FreeRTOS_CreateSocketSet_HappyPath()
512 …xEventGroupClearBits_ExpectAndReturn( xSocketSet->xSelectGroup, ( BaseType_t ) eSELECT_CALL_IP, 0 … in test_FreeRTOS_FD_SET_AllBitsToSet()
682 …xEventGroupWaitBits_ExpectAndReturn( xSocketSet->xSelectGroup, ( ( EventBits_t ) eSELECT_ALL ), pd… in test_FreeRTOS_select_BitsMatched()
684 …xEventGroupClearBits_ExpectAndReturn( xSocketSet->xSelectGroup, ( BaseType_t ) eSELECT_CALL_IP, pd… in test_FreeRTOS_select_BitsMatched()
688 xEventGroupClearBits_ExpectAndReturn( xSocketSet->xSelectGroup, 0, 0x123 ); in test_FreeRTOS_select_BitsMatched()
707 …xEventGroupWaitBits_ExpectAndReturn( xSocketSet->xSelectGroup, ( ( EventBits_t ) eSELECT_ALL ), pd… in test_FreeRTOS_select_Timeout()
709 …xEventGroupClearBits_ExpectAndReturn( xSocketSet->xSelectGroup, ( BaseType_t ) eSELECT_CALL_IP, pd… in test_FreeRTOS_select_Timeout()
713 xEventGroupClearBits_ExpectAndReturn( xSocketSet->xSelectGroup, 0, 0 ); in test_FreeRTOS_select_Timeout()
736 …xEventGroupWaitBits_ExpectAndReturn( xSocketSet->xSelectGroup, ( ( EventBits_t ) eSELECT_ALL ), pd… in test_FreeRTOS_select_TimeoutSecondTime()
738 …xEventGroupClearBits_ExpectAndReturn( xSocketSet->xSelectGroup, ( BaseType_t ) eSELECT_CALL_IP, pd… in test_FreeRTOS_select_TimeoutSecondTime()
[all …]
DFreeRTOS_Sockets_privates_utest.c113 …xEventGroupClearBits_ExpectAndReturn( xSocketSet.xSelectGroup, ( BaseType_t ) eSELECT_CALL_IP, pdF… in test_prvFindSelectedSocket_SendFail()
127 …xEventGroupClearBits_ExpectAndReturn( xSocketSet.xSelectGroup, ( BaseType_t ) eSELECT_CALL_IP, pdF… in test_prvFindSelectedSocket_SendSuccess()
131 …xEventGroupWaitBits_ExpectAndReturn( xSocketSet.xSelectGroup, ( BaseType_t ) eSELECT_CALL_IP, pdTR… in test_prvFindSelectedSocket_SendSuccess()
1990 …xEventGroupSetBits_ExpectAndReturn( xSocket.pxSocketSet->xSelectGroup, eSOCKET_ALL & eSELECT_ALL, … in test_vSocketWakeUpUser_AllNonNULL_EventBitsSet()
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_Sockets.c789 pxSocketSet->xSelectGroup = xEventGroupCreate(); in FreeRTOS_CreateSocketSet()
791 if( pxSocketSet->xSelectGroup == NULL ) in FreeRTOS_CreateSocketSet()
987 …uxResult = xEventGroupWaitBits( pxSocketSet->xSelectGroup, ( ( EventBits_t ) eSELECT_ALL ), pdFALS… in FreeRTOS_select()
993 … ( void ) xEventGroupClearBits( pxSocketSet->xSelectGroup, ( EventBits_t ) eSELECT_INTR ); in FreeRTOS_select()
1003 uxResult = xEventGroupGetBits( pxSocketSet->xSelectGroup ); in FreeRTOS_select()
1053 … ( void ) xEventGroupClearBits( pxSocketSet->xSelectGroup, ( BaseType_t ) eSELECT_CALL_IP ); in prvFindSelectedSocket()
1073 …( void ) xEventGroupWaitBits( pxSocketSet->xSelectGroup, ( BaseType_t ) eSELECT_CALL_IP, pdTRUE, p… in prvFindSelectedSocket()
3548 ( void ) xEventGroupSetBits( pxSocket->pxSocketSet->xSelectGroup, xSelectBits ); in vSocketWakeUpUser()
6076 xBitsToClear = xEventGroupGetBits( pxSocketSet->xSelectGroup ); in vSocketSelect()
6092 ( void ) xEventGroupClearBits( pxSocketSet->xSelectGroup, xBitsToClear ); in vSocketSelect()
[all …]
DFreeRTOS_UDP_IPv4.c468 … ( void ) xEventGroupSetBits( pxSocket->pxSocketSet->xSelectGroup, ( EventBits_t ) eSELECT_READ ); in xProcessReceivedUDPPacket_IPv4()
DFreeRTOS_UDP_IPv6.c559 … ( void ) xEventGroupSetBits( pxSocket->pxSocketSet->xSelectGroup, ( EventBits_t ) eSELECT_READ ); in xProcessReceivedUDPPacket_IPv6()
DFreeRTOS_IP.c468 vEventGroupDelete( pxSocketSet->xSelectGroup ); in prvProcessIPEventsAndTimers()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv6/
DFreeRTOS_UDP_IPv6_utest.c655 xEventGroupSetBits_ExpectAndReturn( xSocket.pxSocketSet->xSelectGroup, eSELECT_READ, pdPASS ); in test_xProcessReceivedUDPPacket_IPv6_Pass()
719 xEventGroupSetBits_ExpectAndReturn( xSocket.pxSocketSet->xSelectGroup, eSELECT_READ, pdPASS ); in test_xProcessReceivedUDPPacket_IPv6_PassNoEventGroup()
912 xEventGroupSetBits_ExpectAndReturn( xSocket.pxSocketSet->xSelectGroup, eSELECT_READ, pdPASS ); in test_xProcessReceivedUDPPacket_IPv6_PassNoSem()
975 xEventGroupSetBits_ExpectAndReturn( xSocket.pxSocketSet->xSelectGroup, eSELECT_READ, pdPASS ); in test_xProcessReceivedUDPPacket_IPv6_PassNoDHCP()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_IP_Private.h877 EventGroupHandle_t xSelectGroup; member
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv4/
DFreeRTOS_UDP_IPv4_utest.c896 xEventGroupSetBits_ExpectAndReturn( xSocket.pxSocketSet->xSelectGroup, eSELECT_READ, pdPASS ); in test_xProcessReceivedUDPPacket_IPv4_Pass()
964 xEventGroupSetBits_ExpectAndReturn( xSocket.pxSocketSet->xSelectGroup, eSELECT_READ, pdPASS ); in test_xProcessReceivedUDPPacket_IPv4_PassNoEventGroup()
1168 xEventGroupSetBits_ExpectAndReturn( xSocket.pxSocketSet->xSelectGroup, eSELECT_READ, pdPASS ); in test_xProcessReceivedUDPPacket_IPv4_PassNoSem()
1235 xEventGroupSetBits_ExpectAndReturn( xSocket.pxSocketSet->xSelectGroup, eSELECT_READ, pdPASS ); in test_xProcessReceivedUDPPacket_IPv4_PassNoDHCP()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP/
DFreeRTOS_IP_utest.c996 vEventGroupDelete_Expect( pxSocketSet->xSelectGroup ); in test_prvProcessIPEventsAndTimers_eSocketSetDeleteEvent()
1023 vEventGroupDelete_Expect( pxSocketSet->xSelectGroup ); in test_prvProcessIPEventsAndTimers_eSocketSetDeleteEvent_NetDownPending()