Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketWakeUpUser/
DvSocketWakeUpUser_harness.c158 pxSocket->pxUserSemaphore = safeMalloc( sizeof( xQUEUE ) ); in harness()
160 if( pxSocket->pxUserSemaphore != NULL ) in harness()
163 __CPROVER_assume( pxSocket->pxUserSemaphore->uxItemSize == 0 ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv6/
DFreeRTOS_UDP_IPv6_utest.c658 xSocket.pxUserSemaphore = ( SemaphoreHandle_t ) &xSocketSem; in test_xProcessReceivedUDPPacket_IPv6_Pass()
659 …xQueueGenericSend_ExpectAndReturn( xSocket.pxUserSemaphore, NULL, semGIVE_BLOCK_TIME, queueSEND_TO… in test_xProcessReceivedUDPPacket_IPv6_Pass()
722 xSocket.pxUserSemaphore = ( SemaphoreHandle_t ) &xSocketSem; in test_xProcessReceivedUDPPacket_IPv6_PassNoEventGroup()
723 …xQueueGenericSend_ExpectAndReturn( xSocket.pxUserSemaphore, NULL, semGIVE_BLOCK_TIME, queueSEND_TO… in test_xProcessReceivedUDPPacket_IPv6_PassNoEventGroup()
787 xSocket.pxUserSemaphore = ( SemaphoreHandle_t ) &xSocketSem; in test_xProcessReceivedUDPPacket_IPv6_PassNoSelectBit()
788 …xQueueGenericSend_ExpectAndReturn( xSocket.pxUserSemaphore, NULL, semGIVE_BLOCK_TIME, queueSEND_TO… in test_xProcessReceivedUDPPacket_IPv6_PassNoSelectBit()
849 xSocket.pxUserSemaphore = ( SemaphoreHandle_t ) &xSocketSem; in test_xProcessReceivedUDPPacket_IPv6_PassNoSelectSet()
850 …xQueueGenericSend_ExpectAndReturn( xSocket.pxUserSemaphore, NULL, semGIVE_BLOCK_TIME, queueSEND_TO… in test_xProcessReceivedUDPPacket_IPv6_PassNoSelectSet()
978 xSocket.pxUserSemaphore = ( SemaphoreHandle_t ) &xSocketSem; in test_xProcessReceivedUDPPacket_IPv6_PassNoDHCP()
979 …xQueueGenericSend_ExpectAndReturn( xSocket.pxUserSemaphore, NULL, semGIVE_BLOCK_TIME, queueSEND_TO… in test_xProcessReceivedUDPPacket_IPv6_PassNoDHCP()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv4/
DFreeRTOS_UDP_IPv4_utest.c899 xSocket.pxUserSemaphore = ( SemaphoreHandle_t ) &xSocketSem; in test_xProcessReceivedUDPPacket_IPv4_Pass()
900 …xQueueGenericSend_ExpectAndReturn( xSocket.pxUserSemaphore, NULL, semGIVE_BLOCK_TIME, queueSEND_TO… in test_xProcessReceivedUDPPacket_IPv4_Pass()
967 xSocket.pxUserSemaphore = ( SemaphoreHandle_t ) &xSocketSem; in test_xProcessReceivedUDPPacket_IPv4_PassNoEventGroup()
968 …xQueueGenericSend_ExpectAndReturn( xSocket.pxUserSemaphore, NULL, semGIVE_BLOCK_TIME, queueSEND_TO… in test_xProcessReceivedUDPPacket_IPv4_PassNoEventGroup()
1035 xSocket.pxUserSemaphore = ( SemaphoreHandle_t ) &xSocketSem; in test_xProcessReceivedUDPPacket_IPv4_PassNoSelectBit()
1036 …xQueueGenericSend_ExpectAndReturn( xSocket.pxUserSemaphore, NULL, semGIVE_BLOCK_TIME, queueSEND_TO… in test_xProcessReceivedUDPPacket_IPv4_PassNoSelectBit()
1101 xSocket.pxUserSemaphore = ( SemaphoreHandle_t ) &xSocketSem; in test_xProcessReceivedUDPPacket_IPv4_PassNoSelectSet()
1102 …xQueueGenericSend_ExpectAndReturn( xSocket.pxUserSemaphore, NULL, semGIVE_BLOCK_TIME, queueSEND_TO… in test_xProcessReceivedUDPPacket_IPv4_PassNoSelectSet()
1238 xSocket.pxUserSemaphore = ( SemaphoreHandle_t ) &xSocketSem; in test_xProcessReceivedUDPPacket_IPv4_PassNoDHCP()
1239 …xQueueGenericSend_ExpectAndReturn( xSocket.pxUserSemaphore, NULL, semGIVE_BLOCK_TIME, queueSEND_TO… in test_xProcessReceivedUDPPacket_IPv4_PassNoDHCP()
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_UDP_IPv4.c475 if( pxSocket->pxUserSemaphore != NULL ) in xProcessReceivedUDPPacket_IPv4()
477 ( void ) xSemaphoreGive( pxSocket->pxUserSemaphore ); in xProcessReceivedUDPPacket_IPv4()
DFreeRTOS_UDP_IPv6.c566 if( pxSocket->pxUserSemaphore != NULL ) in xProcessReceivedUDPPacket_IPv6()
568 ( void ) xSemaphoreGive( pxSocket->pxUserSemaphore ); in xProcessReceivedUDPPacket_IPv6()
DFreeRTOS_TCP_State_Handling.c967 pxNewSocket->pxUserSemaphore = pxSocket->pxUserSemaphore; in prvTCPSocketCopy()
DFreeRTOS_Sockets.c2873 pxSocket->pxUserSemaphore = *( ( SemaphoreHandle_t * ) pvOptionValue ); in FreeRTOS_setsockopt()
3523 if( pxSocket->pxUserSemaphore != NULL ) in vSocketWakeUpUser()
3525 ( void ) xSemaphoreGive( pxSocket->pxUserSemaphore ); in vSocketWakeUpUser()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_IP_Private.h697 SemaphoreHandle_t pxUserSemaphore; /**< The user semaphore */ member
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_privates_utest.c1948 uint8_t xLocalSemaphore[ sizeof( xSocket.pxUserSemaphore ) ]; in test_vSocketWakeUpUser_AllNonNULL()
1955 xSocket.pxUserSemaphore = ( SemaphoreHandle_t ) xLocalSemaphore; in test_vSocketWakeUpUser_AllNonNULL()
1960 …xQueueGenericSend_ExpectAndReturn( xSocket.pxUserSemaphore, NULL, semGIVE_BLOCK_TIME, queueSEND_TO… in test_vSocketWakeUpUser_AllNonNULL()
1974 uint8_t xLocalSemaphore[ sizeof( xSocket.pxUserSemaphore ) ]; in test_vSocketWakeUpUser_AllNonNULL_EventBitsSet()
1981 xSocket.pxUserSemaphore = ( SemaphoreHandle_t ) xLocalSemaphore; in test_vSocketWakeUpUser_AllNonNULL_EventBitsSet()
1988 …xQueueGenericSend_ExpectAndReturn( xSocket.pxUserSemaphore, NULL, semGIVE_BLOCK_TIME, queueSEND_TO… in test_vSocketWakeUpUser_AllNonNULL_EventBitsSet()
DFreeRTOS_Sockets_GenericAPI_utest.c1572 TEST_ASSERT_EQUAL( vOptionValue, xSocket.pxUserSemaphore ); in test_FreeRTOS_setsockopt_SetSemaphore()