Home
last modified time | relevance | path

Searched refs:bPassQueued (Results 1 – 11 of 11) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPHandleState/
DTCPHandleState_harness.c81 __CPROVER_assume( pxSocket->u.xTCP.bits.bPassQueued == pdFALSE_UNSIGNED ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_TCP_IP.c333 if( pxSocket->u.xTCP.bits.bPassQueued != pdFALSE_UNSIGNED ) in vTCPStateChange()
347 if( pxSocket->u.xTCP.bits.bPassQueued != pdFALSE_UNSIGNED ) in vTCPStateChange()
391 pxSocket->u.xTCP.bits.bPassQueued = pdFALSE_UNSIGNED; in vTCPStateChange()
453 if( ( pxSocket->u.xTCP.bits.bPassQueued != pdFALSE_UNSIGNED ) || in vTCPStateChange()
DFreeRTOS_TCP_State_Handling.c209 if( pxSocket->u.xTCP.bits.bPassQueued != pdFALSE_UNSIGNED ) in prvTCPStatusAgeCheck()
947 pxSocket->u.xTCP.bits.bPassQueued = pdTRUE_UNSIGNED; in prvHandleListen()
1093 pxNewSocket->u.xTCP.bits.bPassQueued = pdTRUE_UNSIGNED; in prvTCPSocketCopy()
DFreeRTOS_Sockets.c1679 ( ( pxOtherSocket->u.xTCP.bits.bPassQueued != pdFALSE_UNSIGNED ) || in prvTCPSetSocketCount()
4951 if( pxSocket->u.xTCP.bits.bPassQueued == pdFALSE_UNSIGNED ) in vSocketSelect()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/
DProcessReceivedTCPPacket_harness.c80 xRetSocket->u.xTCP.bits.bPassQueued = pdFALSE_UNSIGNED; in pxTCPSocketLookup()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP_DiffConfig/
DFreeRTOS_TCP_IP_DiffConfig_utest.c138 xSocket.u.xTCP.bits.bPassQueued = pdTRUE_UNSIGNED; in test_vTCPStateChange_ClosedToEstablishedState_SelectWrite_QueuedBitSet()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP/
DFreeRTOS_TCP_IP_utest.c770 xSocket.u.xTCP.bits.bPassQueued = pdTRUE_UNSIGNED; in test_vTCPStateChange_ClosedWaitState_CallingFromIPTask()
802 xSocket.u.xTCP.bits.bPassQueued = pdTRUE_UNSIGNED; in test_vTCPStateChange_ClosedWaitState_NotCallingFromIPTask()
1160 xSocket.u.xTCP.bits.bPassQueued = pdTRUE_UNSIGNED; in test_vTCPStateChange_ClosedToEstablishedState_SelectWrite_QueuedBitSet()
1185 xSocket.u.xTCP.bits.bPassQueued = pdTRUE_UNSIGNED; in test_vTCPStateChange_ClosedToEstablishedState_SelectWrite_QueuedBitSet_ParentNonNULL()
1211 TEST_ASSERT_EQUAL( pdFALSE_UNSIGNED, xSocket.u.xTCP.bits.bPassQueued ); in test_vTCPStateChange_ClosedToEstablishedState_SelectWrite_QueuedBitSet_ParentNonNULL()
1235 xSocket.u.xTCP.bits.bPassQueued = pdTRUE_UNSIGNED; in test_vTCPStateChange_ClosedToEstablishedState_QueuedBitSet_ParentNonNULL_HasHandler()
1261 TEST_ASSERT_EQUAL( pdFALSE_UNSIGNED, xSocket.u.xTCP.bits.bPassQueued ); in test_vTCPStateChange_ClosedToEstablishedState_QueuedBitSet_ParentNonNULL_HasHandler()
1286 xSocket.u.xTCP.bits.bPassQueued = pdTRUE_UNSIGNED; in test_vTCPStateChange_ClosedToEstablishedState_QueuedBitSet_ParentNonNULL_HasHandler1()
1313 TEST_ASSERT_EQUAL( pdFALSE_UNSIGNED, xSocket.u.xTCP.bits.bPassQueued ); in test_vTCPStateChange_ClosedToEstablishedState_QueuedBitSet_ParentNonNULL_HasHandler1()
1337 xSocket.u.xTCP.bits.bPassQueued = pdTRUE_UNSIGNED; in test_vTCPStateChange_ClosedToEstablishedState_SelectRead_QueuedBitSet_ParentNULLReuse()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_IP_Private.h548 … bPassQueued : 1, /**< when true, this socket is an orphan until it gets connected member
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_privates_utest.c1099 xChildSocket.u.xTCP.bits.bPassQueued = pdFALSE_UNSIGNED; in test_prvTCPSetSocketCount_ListeningSocketNonZeroChildren3()
1129 xChildSocket.u.xTCP.bits.bPassQueued = pdFALSE_UNSIGNED; in test_prvTCPSetSocketCount_ListeningSocketNonZeroChildren4()
1159 xChildSocket.u.xTCP.bits.bPassQueued = pdTRUE_UNSIGNED; in test_prvTCPSetSocketCount_ListeningSock_HappyPath1()
1200 xChildSocket.u.xTCP.bits.bPassQueued = pdFALSE_UNSIGNED; in test_prvTCPSetSocketCount_ListeningSock_HappyPath2()
1241 xChildSocket.u.xTCP.bits.bPassQueued = pdTRUE_UNSIGNED; in test_prvTCPSetSocketCount_ListeningSock_HappyPath3()
DFreeRTOS_Sockets_GenericAPI_utest.c3112 xSocket[ 7 ].u.xTCP.bits.bPassQueued = pdTRUE; in test_vSocketSelect_TCPSocketsOnly()
3121 xSocket[ 8 ].u.xTCP.bits.bPassQueued = pdTRUE; in test_vSocketSelect_TCPSocketsOnly()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_State_Handling/
DFreeRTOS_TCP_State_Handling_utest.c203 pxSocket->u.xTCP.bits.bPassQueued = pdTRUE; in test_prvTCPStatusAgeCheck_Checks_Done_PassQueueBit_True()