| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_IP_Timers.c | 106 if( xARPTimer.bActive != pdFALSE_UNSIGNED ) in xCalculateSleepTime() 116 if( xDHCPTimer.bActive != pdFALSE_UNSIGNED ) in xCalculateSleepTime() 128 if( xTCPTimer.bActive != pdFALSE_UNSIGNED ) in xCalculateSleepTime() 140 if( xDNSTimer.bActive != pdFALSE_UNSIGNED ) in xCalculateSleepTime() 271 pxTimer->bExpired = pdFALSE_UNSIGNED; in prvIPTimerStart() 351 if( pxTimer->bActive == pdFALSE_UNSIGNED ) in prvIPTimerCheck() 360 if( pxTimer->bExpired == pdFALSE_UNSIGNED ) in prvIPTimerCheck() 368 if( pxTimer->bExpired != pdFALSE_UNSIGNED ) in prvIPTimerCheck() 400 xTCPTimer.bExpired = pdFALSE_UNSIGNED; in vIPSetTCPTimerExpiredState() 419 xARPTimer.bActive = pdFALSE_UNSIGNED; in vIPSetARPTimerEnableState() [all …]
|
| D | FreeRTOS_TCP_IP.c | 185 if( pxSocket->u.xTCP.bits.bUserShutdown == pdFALSE_UNSIGNED ) in xTCPSocketCheck() 279 pxSocket->u.xTCP.bits.bWaitKeepAlive = pdFALSE_UNSIGNED; in prvTCPTouchSocket() 280 pxSocket->u.xTCP.bits.bSendKeepAlive = pdFALSE_UNSIGNED; in prvTCPTouchSocket() 333 if( pxSocket->u.xTCP.bits.bPassQueued != pdFALSE_UNSIGNED ) in vTCPStateChange() 336 if( pxSocket->u.xTCP.bits.bReuseSocket == pdFALSE_UNSIGNED ) in vTCPStateChange() 347 if( pxSocket->u.xTCP.bits.bPassQueued != pdFALSE_UNSIGNED ) in vTCPStateChange() 377 ( xParent->u.xTCP.bits.bReuseSocket == 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() 454 ( pxSocket->u.xTCP.bits.bPassAccept != pdFALSE_UNSIGNED ) ) in vTCPStateChange() [all …]
|
| D | FreeRTOS_TCP_State_Handling.c | 209 if( pxSocket->u.xTCP.bits.bPassQueued != pdFALSE_UNSIGNED ) in prvTCPStatusAgeCheck() 259 if( pxSocket->u.xTCP.bits.bFinSent == pdFALSE_UNSIGNED ) in prvTCPHandleFin() 274 if( pxSocket->u.xTCP.bits.bFinAcked == pdFALSE_UNSIGNED ) in prvTCPHandleFin() 287 if( pxSocket->u.xTCP.bits.bFinRecv == pdFALSE_UNSIGNED ) in prvTCPHandleFin() 295 if( pxSocket->u.xTCP.bits.bFinLast == pdFALSE_UNSIGNED ) in prvTCPHandleFin() 466 if( pxSocket->u.xTCP.bits.bWinScaling == pdFALSE_UNSIGNED ) in prvHandleSynReceived() 584 …if( ( pxSocket->u.xTCP.bits.bFinAccepted != pdFALSE_UNSIGNED ) || ( ( ucTCPFlags & ( uint8_t ) tcp… in prvHandleEstablished() 590 if( pxSocket->u.xTCP.bits.bFinSent == pdFALSE_UNSIGNED ) in prvHandleEstablished() 650 if( pxSocket->u.xTCP.bits.bFinSent != pdFALSE_UNSIGNED ) in prvHandleEstablished() 780 … ucTCPFlags & tcpTCP_FLAG_FIN ) != 0U ) && ( pxSocket->u.xTCP.bits.bFinRecv == pdFALSE_UNSIGNED ) ) in prvTCPHandleState() [all …]
|
| D | FreeRTOS_TCP_Transmission.c | 92 if( pxSocket->u.xTCP.bits.bConnPrepared == pdFALSE_UNSIGNED ) in prvTCPMakeSurePrepared() 342 … ( pxSocket->u.xTCP.bits.bLowWater != pdFALSE_UNSIGNED ) || ( pxSocket->u.xTCP.bits.bRxStopped != … in prvTCPReturnPacket() 378 pxSocket->u.xTCP.bits.bWinChange = pdFALSE_UNSIGNED; in prvTCPReturnPacket() 386 if( pxSocket->u.xTCP.bits.bSendKeepAlive != pdFALSE_UNSIGNED ) in prvTCPReturnPacket() 391 pxSocket->u.xTCP.bits.bSendKeepAlive = pdFALSE_UNSIGNED; in prvTCPReturnPacket() 1037 if( pxSocket->u.xTCP.bits.bCloseRequested != pdFALSE_UNSIGNED ) in prvTCPPrepareSend() 1076 if( ( pxSocket->u.xTCP.bits.bUserShutdown != pdFALSE_UNSIGNED ) && in prvTCPPrepareSend() 1079 pxSocket->u.xTCP.bits.bUserShutdown = pdFALSE_UNSIGNED; in prvTCPPrepareSend() 1098 … if( ( lDataLen == 0 ) && ( pxSocket->u.xTCP.bits.bWinChange == pdFALSE_UNSIGNED ) ) in prvTCPPrepareSend() 1137 ( pxSocket->u.xTCP.bits.bWinChange != pdFALSE_UNSIGNED ) || in prvTCPPrepareSend() [all …]
|
| D | FreeRTOS_Sockets.c | 1679 ( ( pxOtherSocket->u.xTCP.bits.bPassQueued != pdFALSE_UNSIGNED ) || in prvTCPSetSocketCount() 1680 ( pxOtherSocket->u.xTCP.bits.bPassAccept != pdFALSE_UNSIGNED ) ) ) in prvTCPSetSocketCount() 2056 if( pxTCP->xTCPWindow.u.bits.bHasInit != pdFALSE_UNSIGNED ) in FreeRTOS_setsockopt() 2120 … if( ( pxSocket->u.xTCP.xTCPWindow.u.bits.bSendFullSize == pdFALSE_UNSIGNED ) && in FreeRTOS_setsockopt() 3199 else if( ( pxSocket->u.xTCP.bits.bReuseSocket == pdFALSE_UNSIGNED ) && in FreeRTOS_accept() 3217 if( pxSocket->u.xTCP.bits.bReuseSocket == pdFALSE_UNSIGNED ) in FreeRTOS_accept() 3231 if( pxClientSocket->u.xTCP.bits.bPassAccept != pdFALSE_UNSIGNED ) in FreeRTOS_accept() 3259 if( pxSocket->u.xTCP.bits.bReuseSocket == pdFALSE_UNSIGNED ) in FreeRTOS_accept() 3378 if( pxSocket->u.xTCP.bits.bMallocError != pdFALSE_UNSIGNED ) in FreeRTOS_recv() 3500 if( pxSocket->u.xTCP.bits.bLowWater != pdFALSE_UNSIGNED ) in FreeRTOS_recv() [all …]
|
| D | FreeRTOS_Tiny_TCP.c | 266 if( pxSegment->u.bits.bOutstanding != pdFALSE_UNSIGNED ) in ulTCPWindowTxGet() 382 if( pxSegment->u.bits.bOutstanding != pdFALSE_UNSIGNED ) in xTCPWindowTxHasData()
|
| D | FreeRTOS_TCP_WIN.c | 1426 ( pxSegment->u.bits.bOutstanding == pdFALSE_UNSIGNED ) && in lTCPWindowTxAdd() 1646 else if( ( pxWindow->u.bits.bSendFullSize != pdFALSE_UNSIGNED ) && in xTCPWindowTxHasData() 1691 pxSegment->u.bits.ucDupAckCount = ( uint8_t ) pdFALSE_UNSIGNED; in pxTCPWindowTx_GetWaitQueue() 1737 else if( ( pxWindow->u.bits.bSendFullSize != pdFALSE_UNSIGNED ) && in pxTCPWindowTx_GetTXQueue() 1999 if( pxSegment->u.bits.bAcked == pdFALSE_UNSIGNED ) in prvTCPWindowTxCheckAck() 2119 if( pxSegment->u.bits.bAcked == pdFALSE_UNSIGNED ) in prvTCPWindowFastRetransmit()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP/ |
| D | FreeRTOS_TCP_IP_utest.c | 440 TEST_ASSERT_EQUAL( pdFALSE_UNSIGNED, xSocket.u.xTCP.bits.bWaitKeepAlive ); in test_prvTCPTouchSocket() 441 TEST_ASSERT_EQUAL( pdFALSE_UNSIGNED, xSocket.u.xTCP.bits.bSendKeepAlive ); in test_prvTCPTouchSocket() 599 TEST_ASSERT_EQUAL( pdFALSE_UNSIGNED, xSocket.u.xTCP.bits.bWaitKeepAlive ); in test_vTCPStateChange_ClosedState() 600 TEST_ASSERT_EQUAL( pdFALSE_UNSIGNED, xSocket.u.xTCP.bits.bSendKeepAlive ); in test_vTCPStateChange_ClosedState() 629 TEST_ASSERT_EQUAL( pdFALSE_UNSIGNED, xSocket.u.xTCP.bits.bWaitKeepAlive ); in test_vTCPStateChange_ClosedWaitState_PrvStateSyn() 630 TEST_ASSERT_EQUAL( pdFALSE_UNSIGNED, xSocket.u.xTCP.bits.bSendKeepAlive ); in test_vTCPStateChange_ClosedWaitState_PrvStateSyn() 659 TEST_ASSERT_EQUAL( pdFALSE_UNSIGNED, xSocket.u.xTCP.bits.bWaitKeepAlive ); in test_vTCPStateChange_ClosedWaitState_PrvStateSynFirst() 660 TEST_ASSERT_EQUAL( pdFALSE_UNSIGNED, xSocket.u.xTCP.bits.bSendKeepAlive ); in test_vTCPStateChange_ClosedWaitState_PrvStateSynFirst() 693 TEST_ASSERT_EQUAL( pdFALSE_UNSIGNED, xSocket.u.xTCP.bits.bWaitKeepAlive ); in test_vTCPStateChange_ClosedWaitState_CurrentStateSynFirstNextStateCloseWait() 694 TEST_ASSERT_EQUAL( pdFALSE_UNSIGNED, xSocket.u.xTCP.bits.bSendKeepAlive ); in test_vTCPStateChange_ClosedWaitState_CurrentStateSynFirstNextStateCloseWait() [all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/ |
| D | ProcessReceivedTCPPacket_harness.c | 75 xRetSocket->u.xTCP.bits.bReuseSocket = pdFALSE_UNSIGNED; in pxTCPSocketLookup() 80 xRetSocket->u.xTCP.bits.bPassQueued = pdFALSE_UNSIGNED; in pxTCPSocketLookup() 81 xRetSocket->u.xTCP.bits.bPassAccept = pdFALSE_UNSIGNED; in pxTCPSocketLookup()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPHandleState/ |
| D | TCPHandleState_harness.c | 81 __CPROVER_assume( pxSocket->u.xTCP.bits.bPassQueued == pdFALSE_UNSIGNED ); in harness() 82 __CPROVER_assume( pxSocket->u.xTCP.bits.bPassAccept == pdFALSE_UNSIGNED ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP_DiffConfig/ |
| D | FreeRTOS_TCP_IP_DiffConfig_utest.c | 176 TEST_ASSERT_EQUAL( pdFALSE_UNSIGNED, xSocket.u.xTCP.bits.bWaitKeepAlive ); in test_vTCPStateChange_ClosedWaitState_CurrentStateSynFirstNextStateCloseWait() 177 TEST_ASSERT_EQUAL( pdFALSE_UNSIGNED, xSocket.u.xTCP.bits.bSendKeepAlive ); in test_vTCPStateChange_ClosedWaitState_CurrentStateSynFirstNextStateCloseWait()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/BufferManagement/ |
| D | BufferAllocation_1.c | 256 if( ( bIsValidNetworkDescriptor( pxReturn ) != pdFALSE_UNSIGNED ) && in pxGetNetworkBufferWithDescriptor() 382 if( bIsValidNetworkDescriptor( pxNetworkBuffer ) == pdFALSE_UNSIGNED ) in vReleaseNetworkBufferAndDescriptor()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_TCP_API_utest.c | 336 xServerSocket.u.xTCP.bits.bPassAccept = pdFALSE_UNSIGNED; in test_FreeRTOS_accept_ReuseSocket_Timeout() 839 xSocket.u.xTCP.bits.bFinSent = pdFALSE_UNSIGNED; in test_FreeRTOS_send_InvalidInput() 847 xSocket.u.xTCP.bits.bFinSent = pdFALSE_UNSIGNED; in test_FreeRTOS_send_InvalidInput() 858 xSocket.u.xTCP.bits.bFinSent = pdFALSE_UNSIGNED; in test_FreeRTOS_send_InvalidInput() 887 xSocket.u.xTCP.bits.bFinSent = pdFALSE_UNSIGNED; in test_FreeRTOS_send_ExactSpaceInStreamBuffer() 906 xSocket.u.xTCP.bits.bCloseAfterSend = pdFALSE_UNSIGNED; in test_FreeRTOS_send_ExactSpaceInStreamBuffer() 938 xSocket.u.xTCP.bits.bFinSent = pdFALSE_UNSIGNED; in test_FreeRTOS_send_MoreSpaceInStreamBuffer() 973 xSocket.u.xTCP.bits.bFinSent = pdFALSE_UNSIGNED; in test_FreeRTOS_send_LessSpaceInStreamBuffer_Timeout() 1016 xSocket.u.xTCP.bits.bFinSent = pdFALSE_UNSIGNED; in test_FreeRTOS_send_LessSpaceInStreamBuffer_EventuallySpaceAvailable() 1058 xSocket.u.xTCP.bits.bFinSent = pdFALSE_UNSIGNED; in test_FreeRTOS_send_MultipleIterationsAndNoSuccess() [all …]
|
| D | FreeRTOS_Sockets_privates_utest.c | 1099 xChildSocket.u.xTCP.bits.bPassQueued = pdFALSE_UNSIGNED; in test_prvTCPSetSocketCount_ListeningSocketNonZeroChildren3() 1100 xChildSocket.u.xTCP.bits.bPassAccept = pdFALSE_UNSIGNED; in test_prvTCPSetSocketCount_ListeningSocketNonZeroChildren3() 1129 xChildSocket.u.xTCP.bits.bPassQueued = pdFALSE_UNSIGNED; in test_prvTCPSetSocketCount_ListeningSocketNonZeroChildren4() 1130 xChildSocket.u.xTCP.bits.bPassAccept = pdFALSE_UNSIGNED; in test_prvTCPSetSocketCount_ListeningSocketNonZeroChildren4() 1160 xChildSocket.u.xTCP.bits.bPassAccept = pdFALSE_UNSIGNED; in test_prvTCPSetSocketCount_ListeningSock_HappyPath1() 1200 xChildSocket.u.xTCP.bits.bPassQueued = pdFALSE_UNSIGNED; in test_prvTCPSetSocketCount_ListeningSock_HappyPath2() 2207 xSocket.u.xTCP.bits.bFinSent = pdFALSE_UNSIGNED; in test_prvTCPSendCheck_InvalidValues() 2215 xSocket.u.xTCP.bits.bFinSent = pdFALSE_UNSIGNED; in test_prvTCPSendCheck_InvalidValues() 2227 xSocket.u.xTCP.bits.bFinSent = pdFALSE_UNSIGNED; in test_prvTCPSendCheck_InvalidValues() 2241 xSocket.u.xTCP.bits.bFinSent = pdFALSE_UNSIGNED; in test_prvTCPSendCheck_InvalidValues()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_WIN/ |
| D | FreeRTOS_TCP_WIN_utest.c | 1123 xWindow.pxHeadSegment->u.bits.bOutstanding = pdFALSE_UNSIGNED; in test_lTCPWindowTxAdd_data_length_zero() 1148 xWindow.pxHeadSegment->u.bits.bOutstanding = pdFALSE_UNSIGNED; in test_lTCPWindowTxAdd_bytes_left_gt_zero() 1181 xWindow.pxHeadSegment->u.bits.bOutstanding = pdFALSE_UNSIGNED; in test_lTCPWindowTxAdd_len_gt_max_len() 2229 mockSegment.u.bits.bAcked = pdFALSE_UNSIGNED; in test_ulTCPWindowTxAck_curr_seq_lt_seq_2() 2301 mockSegment.u.bits.bAcked = pdFALSE_UNSIGNED; in test_ulTCPWindowTxAck_curr_seq_lt_seq_4_acked_false() 2324 mockSegment.u.bits.bAcked = pdFALSE_UNSIGNED; in test_ulTCPWindowTxAck_curr_seq_lt_seq_5_acked_false() 2348 mockSegment.u.bits.bAcked = pdFALSE_UNSIGNED; in test_ulTCPWindowTxAck_curr_seq_lt_seq_6_acked_false() 2377 mockSegment.u.bits.bAcked = pdFALSE_UNSIGNED; in ignore_test_ulTCPWindowTxAck_curr_seq_lt_seq_7_acked_false() 2418 mockSegment.u.bits.bAcked = pdFALSE_UNSIGNED; in test_ulTCPWindowTxSack() 2462 mockSegment.u.bits.bAcked = pdFALSE_UNSIGNED; in test_ulTCPWindowTxSack_prvTCPWindowFastRetransmit_1() [all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Tiny_TCP/ |
| D | FreeRTOS_Tiny_TCP_utest.c | 275 xSegment.u.bits.bOutstanding = pdFALSE_UNSIGNED; in test_ulTCPWindowTxGet_length_ne_zero_bit_outstanding_eq_false() 366 xWindow.xTxSegment.u.bits.bOutstanding = pdFALSE_UNSIGNED; in test_xTCPWindowTxHasData() 442 xWindow.xTxSegment.u.bits.bOutstanding = pdFALSE_UNSIGNED; in test_xTCPWindowTxHasData_tx_window_no_space()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Timers/ |
| D | FreeRTOS_IP_Timers_utest.c | 286 TEST_ASSERT_EQUAL( pdFALSE_UNSIGNED, xARPResolutionTimer.bActive ); in test_vCheckNetworkTimers_ARPResolutionTimerActiveAndExpired2() 379 TEST_ASSERT_EQUAL( pdFALSE_UNSIGNED, xTCPTimer.bExpired ); in test_vCheckNetworkTimers_AllTimersInactive_2()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_IP.h | 283 #define pdFALSE_UNSIGNED ( 0U ) macro
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/STM32Fxx/ |
| D | NetworkInterface.c | 727 bReleaseAfterSend = pdFALSE_UNSIGNED; in xNetworkInterfaceOutput()
|