Home
last modified time | relevance | path

Searched refs:pxUserSemaphore (Results 1 – 8 of 8) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketWakeUpUser/
DvSocketWakeUpUser_harness.c153 pxSocket->pxUserSemaphore = safeMalloc( sizeof( xQUEUE ) ); in harness()
155 if( pxSocket->pxUserSemaphore != NULL ) in harness()
158 __CPROVER_assume( pxSocket->pxUserSemaphore->uxItemSize == 0 ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_UDP_IP/
DFreeRTOS_UDP_IP_utest.c599 xLocalSocket.pxUserSemaphore = NULL; in test_xProcessReceivedUDPPacket_SocketFound_NoHandler_NoEventGroupSocketSetUSemaphore()
648 xLocalSocket.pxUserSemaphore = ( void * ) 1; in test_xProcessReceivedUDPPacket_SocketFound_NoHandler_ValidEventGroupUSemaphore()
661 …xQueueGenericSend_ExpectAndReturn( xLocalSocket.pxUserSemaphore, NULL, semGIVE_BLOCK_TIME, queueSE… in test_xProcessReceivedUDPPacket_SocketFound_NoHandler_ValidEventGroupUSemaphore()
701 xLocalSocket.pxUserSemaphore = ( void * ) 1; in test_xProcessReceivedUDPPacket_SocketFound_NoHandler_ValidEventGroupUSemaphoreSocketSet_InvalidSelectBits()
714 …xQueueGenericSend_ExpectAndReturn( xLocalSocket.pxUserSemaphore, NULL, semGIVE_BLOCK_TIME, queueSE… in test_xProcessReceivedUDPPacket_SocketFound_NoHandler_ValidEventGroupUSemaphoreSocketSet_InvalidSelectBits()
755 xLocalSocket.pxUserSemaphore = ( void * ) 1; in test_xProcessReceivedUDPPacket_SocketFound_NoHandler_ValidEventGroupUSemaphoreSocketSet_ValidSelectBits()
772 …xQueueGenericSend_ExpectAndReturn( xLocalSocket.pxUserSemaphore, NULL, semGIVE_BLOCK_TIME, queueSE… in test_xProcessReceivedUDPPacket_SocketFound_NoHandler_ValidEventGroupUSemaphoreSocketSet_ValidSelectBits()
814 xLocalSocket.pxUserSemaphore = ( void * ) 1; in test_xProcessReceivedUDPPacket_SocketFound_HandlerFoundReturnZero_ValidEventGroupUSemaphoreSocketSet_ValidSelectBits()
831 …xQueueGenericSend_ExpectAndReturn( xLocalSocket.pxUserSemaphore, NULL, semGIVE_BLOCK_TIME, queueSE… in test_xProcessReceivedUDPPacket_SocketFound_HandlerFoundReturnZero_ValidEventGroupUSemaphoreSocketSet_ValidSelectBits()
874 xLocalSocket.pxUserSemaphore = ( void * ) 1; in test_xProcessReceivedUDPPacket_SocketFound_ARPResolutionRequired()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_UDP_IP.c436 if( pxSocket->pxUserSemaphore != NULL ) in xProcessReceivedUDPPacket()
438 ( void ) xSemaphoreGive( pxSocket->pxUserSemaphore ); in xProcessReceivedUDPPacket()
DFreeRTOS_TCP_State_Handling.c1056 pxNewSocket->pxUserSemaphore = pxSocket->pxUserSemaphore; in prvTCPSocketCopy()
DFreeRTOS_Sockets.c1951 pxSocket->pxUserSemaphore = *( ( SemaphoreHandle_t * ) pvOptionValue ); in FreeRTOS_setsockopt()
2867 if( pxSocket->pxUserSemaphore != NULL ) in vSocketWakeUpUser()
2869 ( void ) xSemaphoreGive( pxSocket->pxUserSemaphore ); in vSocketWakeUpUser()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_privates_utest.c1866 uint8_t xLocalSemaphore[ sizeof( xSocket.pxUserSemaphore ) ]; in test_vSocketWakeUpUser_AllNonNULL()
1873 xSocket.pxUserSemaphore = xLocalSemaphore; in test_vSocketWakeUpUser_AllNonNULL()
1878 …xQueueGenericSend_ExpectAndReturn( xSocket.pxUserSemaphore, NULL, semGIVE_BLOCK_TIME, queueSEND_TO… in test_vSocketWakeUpUser_AllNonNULL()
1892 uint8_t xLocalSemaphore[ sizeof( xSocket.pxUserSemaphore ) ]; in test_vSocketWakeUpUser_AllNonNULL_EventBitsSet()
1899 xSocket.pxUserSemaphore = xLocalSemaphore; in test_vSocketWakeUpUser_AllNonNULL_EventBitsSet()
1906 …xQueueGenericSend_ExpectAndReturn( xSocket.pxUserSemaphore, NULL, semGIVE_BLOCK_TIME, queueSEND_TO… in test_vSocketWakeUpUser_AllNonNULL_EventBitsSet()
DFreeRTOS_Sockets_GenericAPI_utest.c1601 TEST_ASSERT_EQUAL( vOptionValue, xSocket.pxUserSemaphore ); in test_FreeRTOS_setsockopt_SetSemaphore()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_IP_Private.h670 SemaphoreHandle_t pxUserSemaphore; /**< The user semaphore */ member