Home
last modified time | relevance | path

Searched refs:pxSocketSet (Results 1 – 14 of 14) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketWakeUpUser/
DvSocketWakeUpUser_harness.c148 pxSocket->pxSocketSet = safeMalloc( sizeof( struct xSOCKET_SET ) ); in harness()
150 if( pxSocket->pxSocketSet != NULL ) in harness()
152 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/source/
DFreeRTOS_Sockets.c232 static void prvFindSelectedSocket( SocketSelect_t * pxSocketSet );
779 SocketSelect_t * pxSocketSet; in FreeRTOS_CreateSocketSet() local
784 pxSocketSet = ( ( SocketSelect_t * ) pvPortMalloc( sizeof( *pxSocketSet ) ) ); in FreeRTOS_CreateSocketSet()
786 if( pxSocketSet != NULL ) in FreeRTOS_CreateSocketSet()
788 ( void ) memset( pxSocketSet, 0, sizeof( *pxSocketSet ) ); in FreeRTOS_CreateSocketSet()
789 pxSocketSet->xSelectGroup = xEventGroupCreate(); in FreeRTOS_CreateSocketSet()
791 if( pxSocketSet->xSelectGroup == NULL ) in FreeRTOS_CreateSocketSet()
793 vPortFree( pxSocketSet ); in FreeRTOS_CreateSocketSet()
794 pxSocketSet = NULL; in FreeRTOS_CreateSocketSet()
799 …iptraceMEM_STATS_CREATE( tcpSOCKET_SET, pxSocketSet, sizeof( *pxSocketSet ) + sizeof( StaticEventG… in FreeRTOS_CreateSocketSet()
[all …]
DFreeRTOS_UDP_IPv4.c466 …if( ( pxSocket->pxSocketSet != NULL ) && ( ( pxSocket->xSelectBits & ( ( EventBits_t ) eSELECT_REA… in xProcessReceivedUDPPacket_IPv4()
468 … ( void ) xEventGroupSetBits( pxSocket->pxSocketSet->xSelectGroup, ( EventBits_t ) eSELECT_READ ); in xProcessReceivedUDPPacket_IPv4()
DFreeRTOS_UDP_IPv6.c557 …if( ( pxSocket->pxSocketSet != NULL ) && ( ( pxSocket->xSelectBits & ( ( EventBits_t ) eSELECT_REA… in xProcessReceivedUDPPacket_IPv6()
559 … ( void ) xEventGroupSetBits( pxSocket->pxSocketSet->xSelectGroup, ( EventBits_t ) eSELECT_READ ); in xProcessReceivedUDPPacket_IPv6()
DFreeRTOS_IP.c408 vSocketSelect( pxMessage->pxSocketSet ); in prvProcessIPEventsAndTimers()
465 SocketSelect_t * pxSocketSet = ( SocketSelect_t * ) ( xReceivedEvent.pvData ); in prvProcessIPEventsAndTimers() local
467 iptraceMEM_STATS_DELETE( pxSocketSet ); in prvProcessIPEventsAndTimers()
468 vEventGroupDelete( pxSocketSet->xSelectGroup ); in prvProcessIPEventsAndTimers()
469 vPortFree( ( void * ) pxSocketSet ); in prvProcessIPEventsAndTimers()
DFreeRTOS_TCP_State_Handling.c984 if( pxSocket->pxSocketSet != NULL ) in prvTCPSocketCopy()
986 pxNewSocket->pxSocketSet = pxSocket->pxSocketSet; in prvTCPSocketCopy()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_GenericAPI_utest.c381 SocketSelect_t * pxSocketSet; in test_FreeRTOS_CreateSocketSet_NoMemory() local
383 pvPortMalloc_ExpectAndReturn( sizeof( *pxSocketSet ), NULL ); in test_FreeRTOS_CreateSocketSet_NoMemory()
385 pxSocketSet = FreeRTOS_CreateSocketSet(); in test_FreeRTOS_CreateSocketSet_NoMemory()
387 TEST_ASSERT_EQUAL( NULL, pxSocketSet ); in test_FreeRTOS_CreateSocketSet_NoMemory()
395 SocketSelect_t * pxSocketSet; in test_FreeRTOS_CreateSocketSet_EventGroupCreationFails() local
396 uint8_t ucSocket[ sizeof( *pxSocketSet ) ]; in test_FreeRTOS_CreateSocketSet_EventGroupCreationFails()
398 pvPortMalloc_ExpectAndReturn( sizeof( *pxSocketSet ), ucSocket ); in test_FreeRTOS_CreateSocketSet_EventGroupCreationFails()
404 pxSocketSet = FreeRTOS_CreateSocketSet(); in test_FreeRTOS_CreateSocketSet_EventGroupCreationFails()
406 TEST_ASSERT_EQUAL( NULL, pxSocketSet ); in test_FreeRTOS_CreateSocketSet_EventGroupCreationFails()
414 SocketSelect_t * pxSocketSet; in test_FreeRTOS_CreateSocketSet_HappyPath() local
[all …]
DFreeRTOS_Sockets_privates_utest.c65 void prvFindSelectedSocket( SocketSelect_t * pxSocketSet );
1949 uint8_t xLocalSocketSet[ sizeof( xSocket.pxSocketSet ) ]; in test_vSocketWakeUpUser_AllNonNULL()
1957 xSocket.pxSocketSet = ( SocketSelect_t * ) xLocalSocketSet; in test_vSocketWakeUpUser_AllNonNULL()
1975 uint8_t xLocalSocketSet[ sizeof( xSocket.pxSocketSet ) ]; in test_vSocketWakeUpUser_AllNonNULL_EventBitsSet()
1983 xSocket.pxSocketSet = ( SocketSelect_t * ) xLocalSocketSet; in test_vSocketWakeUpUser_AllNonNULL_EventBitsSet()
1990 …xEventGroupSetBits_ExpectAndReturn( xSocket.pxSocketSet->xSelectGroup, eSOCKET_ALL & eSELECT_ALL, … in test_vSocketWakeUpUser_AllNonNULL_EventBitsSet()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_IP_Private.h704 struct xSOCKET_SET * pxSocketSet; /**< Pointer to the socket set structure */ member
880 extern void vSocketSelect( const SocketSelect_t * pxSocketSet );
886 SocketSelect_t * pxSocketSet; /**< The event group for the socket select functionality. */ member
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv6/
DFreeRTOS_UDP_IPv6_utest.c653 xSocket.pxSocketSet = &xSocketSet; in test_xProcessReceivedUDPPacket_IPv6_Pass()
655 xEventGroupSetBits_ExpectAndReturn( xSocket.pxSocketSet->xSelectGroup, eSELECT_READ, pdPASS ); in test_xProcessReceivedUDPPacket_IPv6_Pass()
717 xSocket.pxSocketSet = &xSocketSet; in test_xProcessReceivedUDPPacket_IPv6_PassNoEventGroup()
719 xEventGroupSetBits_ExpectAndReturn( xSocket.pxSocketSet->xSelectGroup, eSELECT_READ, pdPASS ); in test_xProcessReceivedUDPPacket_IPv6_PassNoEventGroup()
784 xSocket.pxSocketSet = &xSocketSet; in test_xProcessReceivedUDPPacket_IPv6_PassNoSelectBit()
910 xSocket.pxSocketSet = &xSocketSet; in test_xProcessReceivedUDPPacket_IPv6_PassNoSem()
912 xEventGroupSetBits_ExpectAndReturn( xSocket.pxSocketSet->xSelectGroup, eSELECT_READ, pdPASS ); in test_xProcessReceivedUDPPacket_IPv6_PassNoSem()
973 xSocket.pxSocketSet = &xSocketSet; in test_xProcessReceivedUDPPacket_IPv6_PassNoDHCP()
975 xEventGroupSetBits_ExpectAndReturn( xSocket.pxSocketSet->xSelectGroup, eSELECT_READ, pdPASS ); in test_xProcessReceivedUDPPacket_IPv6_PassNoDHCP()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv4/
DFreeRTOS_UDP_IPv4_utest.c894 xSocket.pxSocketSet = &xSocketSet; in test_xProcessReceivedUDPPacket_IPv4_Pass()
896 xEventGroupSetBits_ExpectAndReturn( xSocket.pxSocketSet->xSelectGroup, eSELECT_READ, pdPASS ); in test_xProcessReceivedUDPPacket_IPv4_Pass()
962 xSocket.pxSocketSet = &xSocketSet; in test_xProcessReceivedUDPPacket_IPv4_PassNoEventGroup()
964 xEventGroupSetBits_ExpectAndReturn( xSocket.pxSocketSet->xSelectGroup, eSELECT_READ, pdPASS ); in test_xProcessReceivedUDPPacket_IPv4_PassNoEventGroup()
1032 xSocket.pxSocketSet = &xSocketSet; in test_xProcessReceivedUDPPacket_IPv4_PassNoSelectBit()
1166 xSocket.pxSocketSet = &xSocketSet; in test_xProcessReceivedUDPPacket_IPv4_PassNoSem()
1168 xEventGroupSetBits_ExpectAndReturn( xSocket.pxSocketSet->xSelectGroup, eSELECT_READ, pdPASS ); in test_xProcessReceivedUDPPacket_IPv4_PassNoSem()
1233 xSocket.pxSocketSet = &xSocketSet; in test_xProcessReceivedUDPPacket_IPv4_PassNoDHCP()
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_DiffConfig/
DFreeRTOS_IP_DiffConfig_utest.c226 xData.pxSocketSet = ( void * ) 0xFFAABBCC; in test_prvProcessIPEventsAndTimers_eSocketSelectEvent()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP/
DFreeRTOS_IP_utest.c986 SocketSelect_t * pxSocketSet = malloc( sizeof( SocketSelect_t ) ); in test_prvProcessIPEventsAndTimers_eSocketSetDeleteEvent() local
989 xReceivedEvent.pvData = pxSocketSet; in test_prvProcessIPEventsAndTimers_eSocketSetDeleteEvent()
996 vEventGroupDelete_Expect( pxSocketSet->xSelectGroup ); in test_prvProcessIPEventsAndTimers_eSocketSetDeleteEvent()
1009 SocketSelect_t * pxSocketSet = malloc( sizeof( SocketSelect_t ) ); in test_prvProcessIPEventsAndTimers_eSocketSetDeleteEvent_NetDownPending() local
1016 xReceivedEvent.pvData = pxSocketSet; in test_prvProcessIPEventsAndTimers_eSocketSetDeleteEvent_NetDownPending()
1023 vEventGroupDelete_Expect( pxSocketSet->xSelectGroup ); in test_prvProcessIPEventsAndTimers_eSocketSetDeleteEvent_NetDownPending()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling/
DFreeRTOS_TCP_State_Handling_utest.c1774 pxSocket->pxSocketSet = NULL; in test_prvTCPSocketCopy_NullSocketSet()
1799 pxSocket->pxSocketSet = ( struct xSOCKET_SET * ) 0x1111111; in test_prvTCPSocketCopy_BindError()