Home
last modified time | relevance | path

Searched refs:xEventGroup (Results 1 – 12 of 12) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketClose/
DvSocketClose_harness.c45 pxSocket->xEventGroup = xEventGroupCreate(); in harness()
46 __CPROVER_assume( pxSocket->xEventGroup != NULL ); in harness()
50 pxSocket->xEventGroup = NULL; in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketWakeUpUser/
DvSocketWakeUpUser_harness.c118 EventBits_t xEventGroupSetBits( EventGroupHandle_t xEventGroup, in xEventGroupSetBits() argument
124 __CPROVER_assert( xEventGroup != NULL, in xEventGroupSetBits()
161 pxSocket->xEventGroup = safeMalloc( sizeof( struct EventGroupDef_t ) ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_UDP_IP/
DFreeRTOS_UDP_IP_utest.c597 xLocalSocket.xEventGroup = NULL; in test_xProcessReceivedUDPPacket_SocketFound_NoHandler_NoEventGroupSocketSetUSemaphore()
646 xLocalSocket.xEventGroup = ( void * ) 1; in test_xProcessReceivedUDPPacket_SocketFound_NoHandler_ValidEventGroupUSemaphore()
660 …xEventGroupSetBits_ExpectAndReturn( xLocalSocket.xEventGroup, ( EventBits_t ) eSOCKET_RECEIVE, pdP… in test_xProcessReceivedUDPPacket_SocketFound_NoHandler_ValidEventGroupUSemaphore()
699 xLocalSocket.xEventGroup = ( void * ) 1; in test_xProcessReceivedUDPPacket_SocketFound_NoHandler_ValidEventGroupUSemaphoreSocketSet_InvalidSelectBits()
713 …xEventGroupSetBits_ExpectAndReturn( xLocalSocket.xEventGroup, ( EventBits_t ) eSOCKET_RECEIVE, pdP… in test_xProcessReceivedUDPPacket_SocketFound_NoHandler_ValidEventGroupUSemaphoreSocketSet_InvalidSelectBits()
753 xLocalSocket.xEventGroup = ( void * ) 1; in test_xProcessReceivedUDPPacket_SocketFound_NoHandler_ValidEventGroupUSemaphoreSocketSet_ValidSelectBits()
770 …xEventGroupSetBits_ExpectAndReturn( xLocalSocket.xEventGroup, ( EventBits_t ) eSOCKET_RECEIVE, pdP… in test_xProcessReceivedUDPPacket_SocketFound_NoHandler_ValidEventGroupUSemaphoreSocketSet_ValidSelectBits()
812 xLocalSocket.xEventGroup = ( void * ) 1; in test_xProcessReceivedUDPPacket_SocketFound_HandlerFoundReturnZero_ValidEventGroupUSemaphoreSocketSet_ValidSelectBits()
829 …xEventGroupSetBits_ExpectAndReturn( xLocalSocket.xEventGroup, ( EventBits_t ) eSOCKET_RECEIVE, pdP… in test_xProcessReceivedUDPPacket_SocketFound_HandlerFoundReturnZero_ValidEventGroupUSemaphoreSocketSet_ValidSelectBits()
872 xLocalSocket.xEventGroup = ( void * ) 1; in test_xProcessReceivedUDPPacket_SocketFound_ARPResolutionRequired()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_UDP_API_utest.c112 static BaseType_t xStubForEventGroupWaitBits( EventGroupHandle_t xEventGroup, in xStubForEventGroupWaitBits() argument
195 …xEventGroupWaitBits_ExpectAndReturn( xSocket->xEventGroup, ( EventBits_t ) eSOCKET_INTR, pdTRUE, p… in test_FreeRTOS_recvfrom_NonBlockingInterrupted()
224 …xEventGroupWaitBits_ExpectAndReturn( xSocket->xEventGroup, ( EventBits_t ) eSOCKET_INTR, pdTRUE, p… in test_FreeRTOS_recvfrom_NonBlocking()
284 …xEventGroupWaitBits_ExpectAndReturn( xSocket->xEventGroup, ( ( EventBits_t ) eSOCKET_RECEIVE ) | (… in test_FreeRTOS_recvfrom_BlockingButTimeout()
320 …xEventGroupWaitBits_ExpectAndReturn( xSocket->xEventGroup, ( ( EventBits_t ) eSOCKET_RECEIVE ) | (… in test_FreeRTOS_recvfrom_BlockingButTimeoutSecondTime()
326 …xEventGroupWaitBits_ExpectAndReturn( xSocket->xEventGroup, ( ( EventBits_t ) eSOCKET_RECEIVE ) | (… in test_FreeRTOS_recvfrom_BlockingButTimeoutSecondTime()
361 …xEventGroupWaitBits_ExpectAndReturn( xSocket->xEventGroup, ( ( EventBits_t ) eSOCKET_RECEIVE ) | (… in test_FreeRTOS_recvfrom_BlockingButInterrupted()
392 …xEventGroupWaitBits_ExpectAndReturn( xSocket->xEventGroup, ( ( EventBits_t ) eSOCKET_RECEIVE ) | (… in test_FreeRTOS_recvfrom_BlockingButInterruptedAndReceived()
394 …xEventGroupSetBits_ExpectAndReturn( xSocket->xEventGroup, ( EventBits_t ) eSOCKET_RECEIVE, pdFALSE… in test_FreeRTOS_recvfrom_BlockingButInterruptedAndReceived()
440 …xEventGroupWaitBits_ExpectAndReturn( xGlobalSocket->xEventGroup, ( ( EventBits_t ) eSOCKET_RECEIVE… in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader()
[all …]
DFreeRTOS_Sockets_GenericAPI_utest.c112 static BaseType_t xStubForEventGroupWaitBits( EventGroupHandle_t xEventGroup, in xStubForEventGroupWaitBits() argument
316 uint8_t xEventGroup[ sizeof( uintptr_t ) ]; in test_FreeRTOS_socket_TCPSocket_ProtocolDependent() local
327 xEventGroupCreate_ExpectAndReturn( xEventGroup ); in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
340 TEST_ASSERT_EQUAL( xSocket->xEventGroup, xEventGroup ); in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
361 uint8_t xEventGroup[ sizeof( uintptr_t ) ]; in test_FreeRTOS_socket_TCPSocket() local
372 xEventGroupCreate_ExpectAndReturn( xEventGroup ); in test_FreeRTOS_socket_TCPSocket()
385 TEST_ASSERT_EQUAL( xSocket->xEventGroup, xEventGroup ); in test_FreeRTOS_socket_TCPSocket()
406 uint8_t xEventGroup[ sizeof( uintptr_t ) ]; in test_FreeRTOS_socket_UDPSocket() local
417 xEventGroupCreate_ExpectAndReturn( xEventGroup ); in test_FreeRTOS_socket_UDPSocket()
428 TEST_ASSERT_EQUAL( xSocket->xEventGroup, xEventGroup ); in test_FreeRTOS_socket_UDPSocket()
[all …]
DFreeRTOS_Sockets_TCP_API_utest.c112 static BaseType_t xStubForEventGroupWaitBits( EventGroupHandle_t xEventGroup, in xStubForEventGroupWaitBits() argument
348 …xEventGroupWaitBits_ExpectAndReturn( xServerSocket.xEventGroup, eSOCKET_ACCEPT, pdTRUE, pdFALSE, 0… in test_FreeRTOS_accept_ReuseSocket_Timeout()
439 xEventGroupWaitBits_ExpectAndReturn( xSocket.xEventGroup, eSOCKET_INTR, pdTRUE, pdFALSE, 0, 0 ); in test_FreeRTOS_recv_EstablishedConnection_NoWait()
495 …xEventGroupWaitBits_ExpectAndReturn( xSocket.xEventGroup, eSOCKET_RECEIVE | ( EventBits_t ) eSOCKE… in test_FreeRTOS_recv_Interrupted()
524 …xEventGroupWaitBits_ExpectAndReturn( xSocket.xEventGroup, eSOCKET_RECEIVE | ( EventBits_t ) eSOCKE… in test_FreeRTOS_recv_Interrupted1()
526 xEventGroupSetBits_ExpectAndReturn( xSocket.xEventGroup, eSOCKET_RECEIVE | eSOCKET_CLOSED, 0 ); in test_FreeRTOS_recv_Interrupted1()
555 …xEventGroupWaitBits_ExpectAndReturn( xSocket.xEventGroup, eSOCKET_RECEIVE | ( EventBits_t ) eSOCKE… in test_FreeRTOS_recv_RxStreamNULL()
685 …xEventGroupWaitBits_ExpectAndReturn( xSocket.xEventGroup, eSOCKET_RECEIVE | ( EventBits_t ) eSOCKE… in test_FreeRTOS_recv_12BytesArriveLater()
986 …xEventGroupWaitBits_ExpectAndReturn( xSocket.xEventGroup, eSOCKET_SEND | eSOCKET_CLOSED, pdTRUE, p… in test_FreeRTOS_send_LessSpaceInStreamBuffer_Timeout()
1028 …xEventGroupWaitBits_ExpectAndReturn( xSocket.xEventGroup, eSOCKET_SEND | eSOCKET_CLOSED, pdTRUE, p… in test_FreeRTOS_send_LessSpaceInStreamBuffer_EventuallySpaceAvailable()
[all …]
DFreeRTOS_Sockets_privates_utest.c112 static BaseType_t xStubForEventGroupWaitBits( EventGroupHandle_t xEventGroup, in xStubForEventGroupWaitBits() argument
527 …xEventGroupWaitBits_ExpectAndReturn( xSocket.xEventGroup, ( EventBits_t ) eSOCKET_BOUND, pdTRUE, p… in test_prvMakeSureSocketIsBound_SocketNotBound_BindingSuccess()
820 vEventGroupDelete_Expect( xSocket.xEventGroup ); in test_vSocketClose_UnknownProtocol_NotBound()
839 xSocket.xEventGroup = NULL; in test_vSocketClose_UnknownProtocol_NotBound_EventGroupNULL()
861 xSocket.xEventGroup = NULL; in test_vSocketClose_TCP_EverythingNonNULL()
894 xSocket.xEventGroup = NULL; in test_vSocketClose_TCP_LastAckMessageNonNULL()
927 xSocket.xEventGroup = NULL; in test_vSocketClose_TCP_AllFieldsNonNULL()
960 xSocket.xEventGroup = NULL; in test_vSocketClose_UDP_NoWaitingPackets()
986 xSocket.xEventGroup = NULL; in test_vSocketClose_UDP_SomeWaitingPackets()
1161 xChildSocket.xEventGroup = NULL; in test_prvTCPSetSocketCount_ListeningSock_HappyPath1()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_Sockets.c373 EventGroupHandle_t xEventGroup; in FreeRTOS_socket() local
429 xEventGroup = xEventGroupCreate(); in FreeRTOS_socket()
431 if( xEventGroup == NULL ) in FreeRTOS_socket()
456 pxSocket->xEventGroup = xEventGroup; in FreeRTOS_socket()
888 … xEventBits = xEventGroupWaitBits( pxSocket->xEventGroup, ( EventBits_t ) eSOCKET_INTR, in FreeRTOS_recvfrom()
910 …xEventBits = xEventGroupWaitBits( pxSocket->xEventGroup, ( ( EventBits_t ) eSOCKET_RECEIVE ) | ( (… in FreeRTOS_recvfrom()
920 … ( void ) xEventGroupSetBits( pxSocket->xEventGroup, ( EventBits_t ) eSOCKET_RECEIVE ); in FreeRTOS_recvfrom()
1288 …( void ) xEventGroupWaitBits( pxSocket->xEventGroup, ( EventBits_t ) eSOCKET_BOUND, pdTRUE /*xClea… in FreeRTOS_bind()
1614 if( pxSocket->xEventGroup != NULL ) in vSocketClose()
1616 vEventGroupDelete( pxSocket->xEventGroup ); in vSocketClose()
[all …]
DFreeRTOS_UDP_IP.c420 if( pxSocket->xEventGroup != NULL ) in xProcessReceivedUDPPacket()
422 … ( void ) xEventGroupSetBits( pxSocket->xEventGroup, ( EventBits_t ) eSOCKET_RECEIVE ); in xProcessReceivedUDPPacket()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/
DFreeRTOS_Sockets_DiffConfig1_privates_utest.c111 static BaseType_t xStubForEventGroupWaitBits( EventGroupHandle_t xEventGroup, in xStubForEventGroupWaitBits() argument
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets_DiffConfig/
DFreeRTOS_Sockets_DiffConfig_privates_utest.c111 static BaseType_t xStubForEventGroupWaitBits( EventGroupHandle_t xEventGroup, in xStubForEventGroupWaitBits() argument
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_IP_Private.h660 EventGroupHandle_t xEventGroup; /**< The event group for this socket. */ member