Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketWakeUpUser/
DvSocketWakeUpUser_harness.c147 pxSocket->pxSocketSet->xSelectGroup = safeMalloc( sizeof( struct EventGroupDef_t ) ); in harness()
150 __CPROVER_assume( pxSocket->pxSocketSet->xSelectGroup != NULL ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_GenericAPI_utest.c524 TEST_ASSERT_EQUAL( xEventGroup, pxSocketSet->xSelectGroup ); in test_FreeRTOS_CreateSocketSet_HappyPath()
611 …xEventGroupClearBits_ExpectAndReturn( xSocketSet->xSelectGroup, ( BaseType_t ) eSELECT_CALL_IP, 0 … in test_FreeRTOS_FD_SET_AllBitsToSet()
781 …xEventGroupWaitBits_ExpectAndReturn( xSocketSet->xSelectGroup, ( ( EventBits_t ) eSELECT_ALL ), pd… in test_FreeRTOS_select_BitsMatched()
783 …xEventGroupClearBits_ExpectAndReturn( xSocketSet->xSelectGroup, ( BaseType_t ) eSELECT_CALL_IP, pd… in test_FreeRTOS_select_BitsMatched()
787 xEventGroupClearBits_ExpectAndReturn( xSocketSet->xSelectGroup, 0, 0x123 ); in test_FreeRTOS_select_BitsMatched()
806 …xEventGroupWaitBits_ExpectAndReturn( xSocketSet->xSelectGroup, ( ( EventBits_t ) eSELECT_ALL ), pd… in test_FreeRTOS_select_Timeout()
808 …xEventGroupClearBits_ExpectAndReturn( xSocketSet->xSelectGroup, ( BaseType_t ) eSELECT_CALL_IP, pd… in test_FreeRTOS_select_Timeout()
812 xEventGroupClearBits_ExpectAndReturn( xSocketSet->xSelectGroup, 0, 0 ); in test_FreeRTOS_select_Timeout()
835 …xEventGroupWaitBits_ExpectAndReturn( xSocketSet->xSelectGroup, ( ( EventBits_t ) eSELECT_ALL ), pd… in test_FreeRTOS_select_TimeoutSecondTime()
837 …xEventGroupClearBits_ExpectAndReturn( xSocketSet->xSelectGroup, ( BaseType_t ) eSELECT_CALL_IP, pd… in test_FreeRTOS_select_TimeoutSecondTime()
[all …]
DFreeRTOS_Sockets_privates_utest.c137 …xEventGroupClearBits_ExpectAndReturn( xSocketSet.xSelectGroup, ( BaseType_t ) eSELECT_CALL_IP, pdF… in test_prvFindSelectedSocket_SendFail()
151 …xEventGroupClearBits_ExpectAndReturn( xSocketSet.xSelectGroup, ( BaseType_t ) eSELECT_CALL_IP, pdF… in test_prvFindSelectedSocket_SendSuccess()
155 …xEventGroupWaitBits_ExpectAndReturn( xSocketSet.xSelectGroup, ( BaseType_t ) eSELECT_CALL_IP, pdTR… in test_prvFindSelectedSocket_SendSuccess()
1908 …xEventGroupSetBits_ExpectAndReturn( xSocket.pxSocketSet->xSelectGroup, eSOCKET_ALL & eSELECT_ALL, … in test_vSocketWakeUpUser_AllNonNULL_EventBitsSet()
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_Sockets.c536 pxSocketSet->xSelectGroup = xEventGroupCreate(); in FreeRTOS_CreateSocketSet()
538 if( pxSocketSet->xSelectGroup == NULL ) in FreeRTOS_CreateSocketSet()
730 …uxResult = xEventGroupWaitBits( pxSocketSet->xSelectGroup, ( ( EventBits_t ) eSELECT_ALL ), pdFALS… in FreeRTOS_select()
736 … ( void ) xEventGroupClearBits( pxSocketSet->xSelectGroup, ( EventBits_t ) eSELECT_INTR ); in FreeRTOS_select()
746 uxResult = xEventGroupGetBits( pxSocketSet->xSelectGroup ); in FreeRTOS_select()
796 … ( void ) xEventGroupClearBits( pxSocketSet->xSelectGroup, ( BaseType_t ) eSELECT_CALL_IP ); in prvFindSelectedSocket()
816 …( void ) xEventGroupWaitBits( pxSocketSet->xSelectGroup, ( BaseType_t ) eSELECT_CALL_IP, pdTRUE, p… in prvFindSelectedSocket()
2892 ( void ) xEventGroupSetBits( pxSocket->pxSocketSet->xSelectGroup, xSelectBits ); in vSocketWakeUpUser()
5047 xBitsToClear = xEventGroupGetBits( pxSocketSet->xSelectGroup ); in vSocketSelect()
5063 ( void ) xEventGroupClearBits( pxSocketSet->xSelectGroup, xBitsToClear ); in vSocketSelect()
[all …]
DFreeRTOS_UDP_IP.c429 … ( void ) xEventGroupSetBits( pxSocket->pxSocketSet->xSelectGroup, ( EventBits_t ) eSELECT_READ ); in xProcessReceivedUDPPacket()
DFreeRTOS_IP.c480 vEventGroupDelete( pxSocketSet->xSelectGroup ); in prvProcessIPEventsAndTimers()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_UDP_IP/
DFreeRTOS_UDP_IP_utest.c771 …xEventGroupSetBits_ExpectAndReturn( xLocalSocket.pxSocketSet->xSelectGroup, eSELECT_READ, pdPASS ); in test_xProcessReceivedUDPPacket_SocketFound_NoHandler_ValidEventGroupUSemaphoreSocketSet_ValidSelectBits()
830 …xEventGroupSetBits_ExpectAndReturn( xLocalSocket.pxSocketSet->xSelectGroup, eSELECT_READ, pdPASS ); in test_xProcessReceivedUDPPacket_SocketFound_HandlerFoundReturnZero_ValidEventGroupUSemaphoreSocketSet_ValidSelectBits()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_IP_Private.h834 EventGroupHandle_t xSelectGroup; member
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP/
DFreeRTOS_IP_utest.c1036 vEventGroupDelete_Expect( pxSocketSet->xSelectGroup ); in test_prvProcessIPEventsAndTimers_eSocketSetDeleteEvent()
1058 vEventGroupDelete_Expect( pxSocketSet->xSelectGroup ); in test_prvProcessIPEventsAndTimers_eSocketSetDeleteEvent_NetDownPending()