| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketWakeUpUser/ |
| D | vSocketWakeUpUser_harness.c | 143 pxSocket->pxSocketSet = safeMalloc( sizeof( struct xSOCKET_SET ) ); in harness()
145 if( pxSocket->pxSocketSet != NULL ) in harness()
147 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/source/ |
| D | FreeRTOS_Sockets.c | 197 static void prvFindSelectedSocket( SocketSelect_t * pxSocketSet );
529 SocketSelect_t * pxSocketSet; in FreeRTOS_CreateSocketSet() local
531 pxSocketSet = ( ( SocketSelect_t * ) pvPortMalloc( sizeof( *pxSocketSet ) ) ); in FreeRTOS_CreateSocketSet()
533 if( pxSocketSet != NULL ) in FreeRTOS_CreateSocketSet()
535 ( void ) memset( pxSocketSet, 0, sizeof( *pxSocketSet ) ); in FreeRTOS_CreateSocketSet()
536 pxSocketSet->xSelectGroup = xEventGroupCreate(); in FreeRTOS_CreateSocketSet()
538 if( pxSocketSet->xSelectGroup == NULL ) in FreeRTOS_CreateSocketSet()
540 vPortFree( pxSocketSet ); in FreeRTOS_CreateSocketSet()
541 pxSocketSet = NULL; in FreeRTOS_CreateSocketSet()
546 …iptraceMEM_STATS_CREATE( tcpSOCKET_SET, pxSocketSet, sizeof( *pxSocketSet ) + sizeof( StaticEventG… in FreeRTOS_CreateSocketSet()
[all …]
|
| D | FreeRTOS_UDP_IP.c | 427 …if( ( pxSocket->pxSocketSet != NULL ) && ( ( pxSocket->xSelectBits & ( ( EventBits_t ) eSELECT_REA… in xProcessReceivedUDPPacket()
429 … ( void ) xEventGroupSetBits( pxSocket->pxSocketSet->xSelectGroup, ( EventBits_t ) eSELECT_READ ); in xProcessReceivedUDPPacket()
|
| D | FreeRTOS_IP.c | 420 vSocketSelect( pxMessage->pxSocketSet ); in prvProcessIPEventsAndTimers()
477 SocketSelect_t * pxSocketSet = ( SocketSelect_t * ) ( xReceivedEvent.pvData ); in prvProcessIPEventsAndTimers() local
479 iptraceMEM_STATS_DELETE( pxSocketSet ); in prvProcessIPEventsAndTimers()
480 vEventGroupDelete( pxSocketSet->xSelectGroup ); in prvProcessIPEventsAndTimers()
481 vPortFree( ( void * ) pxSocketSet ); in prvProcessIPEventsAndTimers()
|
| D | FreeRTOS_TCP_State_Handling.c | 1073 if( pxSocket->pxSocketSet != NULL ) in prvTCPSocketCopy()
1075 pxNewSocket->pxSocketSet = pxSocket->pxSocketSet; in prvTCPSocketCopy()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_UDP_IP/ |
| D | FreeRTOS_UDP_IP_utest.c | 598 xLocalSocket.pxSocketSet = NULL; in test_xProcessReceivedUDPPacket_SocketFound_NoHandler_NoEventGroupSocketSetUSemaphore()
647 xLocalSocket.pxSocketSet = NULL; in test_xProcessReceivedUDPPacket_SocketFound_NoHandler_ValidEventGroupUSemaphore()
700 xLocalSocket.pxSocketSet = ( void * ) 1; in test_xProcessReceivedUDPPacket_SocketFound_NoHandler_ValidEventGroupUSemaphoreSocketSet_InvalidSelectBits()
754 xLocalSocket.pxSocketSet = &xLocalSocketSet; in test_xProcessReceivedUDPPacket_SocketFound_NoHandler_ValidEventGroupUSemaphoreSocketSet_ValidSelectBits()
771 …xEventGroupSetBits_ExpectAndReturn( xLocalSocket.pxSocketSet->xSelectGroup, eSELECT_READ, pdPASS ); in test_xProcessReceivedUDPPacket_SocketFound_NoHandler_ValidEventGroupUSemaphoreSocketSet_ValidSelectBits()
813 xLocalSocket.pxSocketSet = &xLocalSocketSet; in test_xProcessReceivedUDPPacket_SocketFound_HandlerFoundReturnZero_ValidEventGroupUSemaphoreSocketSet_ValidSelectBits()
830 …xEventGroupSetBits_ExpectAndReturn( xLocalSocket.pxSocketSet->xSelectGroup, eSELECT_READ, pdPASS ); in test_xProcessReceivedUDPPacket_SocketFound_HandlerFoundReturnZero_ValidEventGroupUSemaphoreSocketSet_ValidSelectBits()
873 xLocalSocket.pxSocketSet = &xLocalSocketSet; in test_xProcessReceivedUDPPacket_SocketFound_ARPResolutionRequired()
920 xLocalSocket.pxSocketSet = &xLocalSocketSet; in test_xProcessReceivedUDPPacket_SocketFound_HandlerFoundReturnNonZero()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_GenericAPI_utest.c | 480 SocketSelect_t * pxSocketSet; in test_FreeRTOS_CreateSocketSet_NoMemory() local
482 pvPortMalloc_ExpectAndReturn( sizeof( *pxSocketSet ), NULL ); in test_FreeRTOS_CreateSocketSet_NoMemory()
484 pxSocketSet = FreeRTOS_CreateSocketSet(); in test_FreeRTOS_CreateSocketSet_NoMemory()
486 TEST_ASSERT_EQUAL( NULL, pxSocketSet ); in test_FreeRTOS_CreateSocketSet_NoMemory()
494 SocketSelect_t * pxSocketSet; in test_FreeRTOS_CreateSocketSet_EventGroupCreationFails() local
495 uint8_t ucSocket[ sizeof( *pxSocketSet ) ]; in test_FreeRTOS_CreateSocketSet_EventGroupCreationFails()
497 pvPortMalloc_ExpectAndReturn( sizeof( *pxSocketSet ), ucSocket ); in test_FreeRTOS_CreateSocketSet_EventGroupCreationFails()
503 pxSocketSet = FreeRTOS_CreateSocketSet(); in test_FreeRTOS_CreateSocketSet_EventGroupCreationFails()
505 TEST_ASSERT_EQUAL( NULL, pxSocketSet ); in test_FreeRTOS_CreateSocketSet_EventGroupCreationFails()
513 SocketSelect_t * pxSocketSet; in test_FreeRTOS_CreateSocketSet_HappyPath() local
[all …]
|
| D | FreeRTOS_Sockets_privates_utest.c | 1867 uint8_t xLocalSocketSet[ sizeof( xSocket.pxSocketSet ) ]; in test_vSocketWakeUpUser_AllNonNULL()
1875 xSocket.pxSocketSet = xLocalSocketSet; in test_vSocketWakeUpUser_AllNonNULL()
1893 uint8_t xLocalSocketSet[ sizeof( xSocket.pxSocketSet ) ]; in test_vSocketWakeUpUser_AllNonNULL_EventBitsSet()
1901 xSocket.pxSocketSet = xLocalSocketSet; in test_vSocketWakeUpUser_AllNonNULL_EventBitsSet()
1908 …xEventGroupSetBits_ExpectAndReturn( xSocket.pxSocketSet->xSelectGroup, eSOCKET_ALL & eSELECT_ALL, … in test_vSocketWakeUpUser_AllNonNULL_EventBitsSet()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_IP_Private.h | 677 struct xSOCKET_SET * pxSocketSet; /**< Pointer to the socket set structure */ member
837 extern void vSocketSelect( const SocketSelect_t * pxSocketSet );
843 SocketSelect_t * pxSocketSet; /**< The event group for the socket select functionality. */ member
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP/ |
| D | FreeRTOS_IP_utest.c | 1024 SocketSelect_t * pxSocketSet = malloc( sizeof( SocketSelect_t ) ); in test_prvProcessIPEventsAndTimers_eSocketSetDeleteEvent() local
1027 xReceivedEvent.pvData = pxSocketSet; in test_prvProcessIPEventsAndTimers_eSocketSetDeleteEvent()
1036 vEventGroupDelete_Expect( pxSocketSet->xSelectGroup ); in test_prvProcessIPEventsAndTimers_eSocketSetDeleteEvent()
1044 SocketSelect_t * pxSocketSet = malloc( sizeof( SocketSelect_t ) ); in test_prvProcessIPEventsAndTimers_eSocketSetDeleteEvent_NetDownPending() local
1049 xReceivedEvent.pvData = pxSocketSet; in test_prvProcessIPEventsAndTimers_eSocketSetDeleteEvent_NetDownPending()
1058 vEventGroupDelete_Expect( pxSocketSet->xSelectGroup ); in test_prvProcessIPEventsAndTimers_eSocketSetDeleteEvent_NetDownPending()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_State_Handling/ |
| D | FreeRTOS_TCP_State_Handling_utest.c | 1685 pxSocket->pxSocketSet = NULL; in test_prvTCPSocketCopy_NULL_SocketSet()
1708 pxSocket->pxSocketSet = 0x1111111; in test_prvTCPSocketCopy_Bind_Error()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_DiffConfig/ |
| D | FreeRTOS_IP_DiffConfig_utest.c | 248 xData.pxSocketSet = ( void * ) 0xFFAABBCC; in test_prvProcessIPEventsAndTimers_eSocketSelectEvent()
|
