| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_IP_Timers.c | 267 pxTimer->bExpired = pdTRUE_UNSIGNED; in prvIPTimerStart() 274 pxTimer->bActive = pdTRUE_UNSIGNED; in prvIPTimerStart() 364 pxTimer->bExpired = pdTRUE_UNSIGNED; in prvIPTimerCheck() 392 xTCPTimer.bActive = pdTRUE_UNSIGNED; in vIPSetTCPTimerExpiredState() 396 xTCPTimer.bExpired = pdTRUE_UNSIGNED; in vIPSetTCPTimerExpiredState() 415 xARPTimer.bActive = pdTRUE_UNSIGNED; in vIPSetARPTimerEnableState() 433 xARPResolutionTimer.bActive = pdTRUE_UNSIGNED; in vIPSetARPResolutionTimerEnableState() 453 xDHCPTimer.bActive = pdTRUE_UNSIGNED; in vIPSetDHCPTimerEnableState() 474 xDNSTimer.bActive = pdTRUE_UNSIGNED; in vIPSetDNSTimerEnableState()
|
| D | FreeRTOS_TCP_State_Handling.c | 263 pxSocket->u.xTCP.bits.bFinSent = pdTRUE_UNSIGNED; in prvTCPHandleFin() 270 pxSocket->u.xTCP.bits.bFinAcked = pdTRUE_UNSIGNED; in prvTCPHandleFin() 634 pxSocket->u.xTCP.bits.bFinAccepted = pdTRUE_UNSIGNED; in prvHandleEstablished() 745 pxSocket->u.xTCP.bits.bWinChange = pdTRUE_UNSIGNED; in prvTCPHandleState() 785 pxSocket->u.xTCP.bits.bFinRecv = pdTRUE_UNSIGNED; in prvTCPHandleState() 791 pxSocket->u.xTCP.bits.bFinLast = pdTRUE_UNSIGNED; in prvTCPHandleState() 947 pxSocket->u.xTCP.bits.bPassQueued = pdTRUE_UNSIGNED; in prvHandleListen() 1093 pxNewSocket->u.xTCP.bits.bPassQueued = pdTRUE_UNSIGNED; in prvTCPSocketCopy() 1103 pxNewSocket->u.xTCP.bits.bPassAccept = pdTRUE_UNSIGNED; in prvTCPSocketCopy()
|
| D | FreeRTOS_TCP_Transmission.c | 392 pxSocket->u.xTCP.bits.bWaitKeepAlive = pdTRUE_UNSIGNED; in prvTCPReturnPacket() 684 pxSocket->u.xTCP.bits.bConnPrepared = pdTRUE_UNSIGNED; in prvTCPPrepareConnect() 1062 pxSocket->u.xTCP.bits.bFinSent = pdTRUE_UNSIGNED; in prvTCPPrepareSend() 1081 pxSocket->u.xTCP.bits.bFinSent = pdTRUE_UNSIGNED; in prvTCPPrepareSend() 1082 pxSocket->u.xTCP.bits.bWinChange = pdTRUE_UNSIGNED; in prvTCPPrepareSend() 1123 pxSocket->u.xTCP.bits.bSendKeepAlive = pdTRUE_UNSIGNED; in prvTCPPrepareSend()
|
| D | FreeRTOS_TCP_Reception.c | 241 pxSocket->u.xTCP.bits.bWinScaling = pdTRUE_UNSIGNED; in prvSingleStepTCPHeaderOptions() 291 pxSocket->u.xTCP.bits.bMssChange = pdTRUE_UNSIGNED; in prvSingleStepTCPHeaderOptions()
|
| D | FreeRTOS_Tiny_TCP.c | 280 pxSegment->u.bits.bOutstanding = pdTRUE_UNSIGNED; in ulTCPWindowTxGet()
|
| D | FreeRTOS_TCP_IP.c | 394 pxSocket->u.xTCP.bits.bPassAccept = pdTRUE_UNSIGNED; in vTCPStateChange() 469 … if( ( eTCPState == eCLOSE_WAIT ) && ( pxSocket->u.xTCP.bits.bReuseSocket == pdTRUE_UNSIGNED ) ) in vTCPStateChange()
|
| D | FreeRTOS_TCP_WIN.c | 830 pxWindow->u.bits.bHasInit = pdTRUE_UNSIGNED; in vTCPWindowInit() 1850 pxSegment->u.bits.bOutstanding = pdTRUE_UNSIGNED; in ulTCPWindowTxGet()
|
| D | FreeRTOS_Sockets.c | 3949 pxSocket->u.xTCP.bits.bUserShutdown = pdTRUE_UNSIGNED; in FreeRTOS_shutdown()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP_DiffConfig/ |
| D | FreeRTOS_TCP_IP_DiffConfig_utest.c | 138 xSocket.u.xTCP.bits.bPassQueued = pdTRUE_UNSIGNED; in test_vTCPStateChange_ClosedToEstablishedState_SelectWrite_QueuedBitSet() 163 xSocket.u.xTCP.bits.bReuseSocket = pdTRUE_UNSIGNED; in test_vTCPStateChange_ClosedWaitState_CurrentStateSynFirstNextStateCloseWait()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP/ |
| D | FreeRTOS_TCP_IP_utest.c | 409 xSocket.u.xTCP.bits.bUserShutdown = pdTRUE_UNSIGNED; in test_xTCPSocketCheck_StateeCONNECT_SYN_TxStreamNonNull_UserShutdown() 680 xSocket.u.xTCP.bits.bReuseSocket = pdTRUE_UNSIGNED; in test_vTCPStateChange_ClosedWaitState_CurrentStateSynFirstNextStateCloseWait() 770 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() 822 xSocket.u.xTCP.bits.bPassAccept = pdTRUE_UNSIGNED; in test_vTCPStateChange_ClosedWaitState_CallingFromIPTask1() 852 xSocket.u.xTCP.bits.bPassAccept = pdTRUE_UNSIGNED; in test_vTCPStateChange_ClosedWaitState_NotCallingFromIPTask1() 872 xSocket.u.xTCP.bits.bPassAccept = pdTRUE_UNSIGNED; in test_vTCPStateChange_ClosedWaitState_ReuseSocket() 873 xSocket.u.xTCP.bits.bReuseSocket = pdTRUE_UNSIGNED; in test_vTCPStateChange_ClosedWaitState_ReuseSocket() 905 xSocket.u.xTCP.bits.bPassAccept = pdTRUE_UNSIGNED; in test_vTCPStateChange_EstablishedState_ReuseSocket() 906 xSocket.u.xTCP.bits.bReuseSocket = pdTRUE_UNSIGNED; in test_vTCPStateChange_EstablishedState_ReuseSocket() [all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Tiny_TCP/ |
| D | FreeRTOS_Tiny_TCP_utest.c | 294 xSegment.u.bits.bOutstanding = pdTRUE_UNSIGNED; in test_ulTCPWindowTxGet_length_ne_zero_bit_outstanding_eq_true() 319 xSegment.u.bits.bOutstanding = pdTRUE_UNSIGNED; in test_ulTCPWindowTxGet_length_ne_zero_bit_outstanding_eq_true_timer_ne_expired() 397 xWindow.xTxSegment.u.bits.bOutstanding = pdTRUE_UNSIGNED; in test_xTCPWindowTxHasData_outstanding_bits() 419 xWindow.xTxSegment.u.bits.bOutstanding = pdTRUE_UNSIGNED; in test_xTCPWindowTxHasData_outstanding_bits_2()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_TCP_API_utest.c | 236 xPeerSocket.u.xTCP.bits.bPassAccept = pdTRUE_UNSIGNED; in test_FreeRTOS_accept_NotReuseSocket() 270 xServerSocket.u.xTCP.bits.bReuseSocket = pdTRUE_UNSIGNED; in test_FreeRTOS_accept_ReuseSocket() 272 xServerSocket.u.xTCP.bits.bPassAccept = pdTRUE_UNSIGNED; in test_FreeRTOS_accept_ReuseSocket() 303 xServerSocket.u.xTCP.bits.bReuseSocket = pdTRUE_UNSIGNED; in test_FreeRTOS_accept_ReuseSocket_NULLAddress() 305 xServerSocket.u.xTCP.bits.bPassAccept = pdTRUE_UNSIGNED; in test_FreeRTOS_accept_ReuseSocket_NULLAddress() 334 xServerSocket.u.xTCP.bits.bReuseSocket = pdTRUE_UNSIGNED; in test_FreeRTOS_accept_ReuseSocket_Timeout() 417 xSocket.u.xTCP.bits.bMallocError = pdTRUE_UNSIGNED; in test_FreeRTOS_recv_NotConnectedAndNoMemory() 610 xSocket.u.xTCP.bits.bLowWater = pdTRUE_UNSIGNED; in test_FreeRTOS_recv_LowWaterReached() 646 xSocket.u.xTCP.bits.bLowWater = pdTRUE_UNSIGNED; in test_FreeRTOS_recv_LowWaterReached2() 889 xSocket.u.xTCP.bits.bCloseAfterSend = pdTRUE_UNSIGNED; in test_FreeRTOS_send_ExactSpaceInStreamBuffer() [all …]
|
| D | FreeRTOS_Sockets_GenericAPI_utest.c | 3074 xSocket[ 3 ].u.xTCP.bits.bConnPrepared = pdTRUE_UNSIGNED; in test_vSocketSelect_TCPSocketsOnly() 3084 xSocket[ 4 ].u.xTCP.bits.bConnPrepared = pdTRUE_UNSIGNED; in test_vSocketSelect_TCPSocketsOnly() 3091 xSocket[ 5 ].u.xTCP.bits.bConnPrepared = pdTRUE_UNSIGNED; in test_vSocketSelect_TCPSocketsOnly() 3100 xSocket[ 6 ].u.xTCP.bits.bConnPrepared = pdTRUE_UNSIGNED; in test_vSocketSelect_TCPSocketsOnly() 3111 xSocket[ 7 ].u.xTCP.bits.bConnPrepared = pdTRUE_UNSIGNED; in test_vSocketSelect_TCPSocketsOnly() 3113 xSocket[ 7 ].u.xTCP.bits.bReuseSocket = pdTRUE_UNSIGNED; in test_vSocketSelect_TCPSocketsOnly() 3120 xSocket[ 8 ].u.xTCP.bits.bConnPrepared = pdTRUE_UNSIGNED; in test_vSocketSelect_TCPSocketsOnly() 3122 xSocket[ 8 ].u.xTCP.bits.bReuseSocket = pdTRUE_UNSIGNED; in test_vSocketSelect_TCPSocketsOnly() 3123 xSocket[ 8 ].u.xTCP.bits.bPassAccept = pdTRUE_UNSIGNED; in test_vSocketSelect_TCPSocketsOnly() 3124 xSocket[ 8 ].u.xTCP.bits.bConnPassed = pdTRUE_UNSIGNED; in test_vSocketSelect_TCPSocketsOnly()
|
| D | FreeRTOS_Sockets_privates_utest.c | 1159 xChildSocket.u.xTCP.bits.bPassQueued = pdTRUE_UNSIGNED; in test_prvTCPSetSocketCount_ListeningSock_HappyPath1() 1201 xChildSocket.u.xTCP.bits.bPassAccept = pdTRUE_UNSIGNED; in test_prvTCPSetSocketCount_ListeningSock_HappyPath2() 1241 xChildSocket.u.xTCP.bits.bPassQueued = pdTRUE_UNSIGNED; in test_prvTCPSetSocketCount_ListeningSock_HappyPath3() 1242 xChildSocket.u.xTCP.bits.bPassAccept = pdTRUE_UNSIGNED; in test_prvTCPSetSocketCount_ListeningSock_HappyPath3() 2200 xSocket.u.xTCP.bits.bFinSent = pdTRUE_UNSIGNED; in test_prvTCPSendCheck_InvalidValues()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/ |
| D | ProcessReceivedTCPPacket_harness.c | 71 xRetSocket->u.xTCP.bits.bReuseSocket = pdTRUE_UNSIGNED; in pxTCPSocketLookup()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_WIN/ |
| D | FreeRTOS_TCP_WIN_utest.c | 1099 xWindow.pxHeadSegment->u.bits.bOutstanding = pdTRUE_UNSIGNED; in test_lTCPWindowTxAdd_true_outstanding_bits() 1208 xWindow.pxHeadSegment->u.bits.bOutstanding = pdTRUE_UNSIGNED; in test_lTCPWindowTxAdd_lBytsLeft_gt_zero_pxSegment_NULL() 1236 xWindow.pxHeadSegment->u.bits.bOutstanding = pdTRUE_UNSIGNED; in test_lTCPWindowTxAdd_lBytsLeft_gt_zero_data_length_gt_maxlen() 1282 xWindow.pxHeadSegment->u.bits.bOutstanding = pdTRUE_UNSIGNED; in test_lTCPWindowTxAdd_lBytesLeft_gt_zero_data_length_lt_maxlen() 1514 xWindow.u.bits.bSendFullSize = pdTRUE_UNSIGNED; in test_xTCPWindowTxHasData_datalength_lt_maxlength() 1548 xWindow.u.bits.bSendFullSize = pdTRUE_UNSIGNED; in test_xTCPWindowTxHasData_SendFullSize() 1589 xWindow.u.bits.bSendFullSize = pdTRUE_UNSIGNED; in test_ulTCPWindowTxGet_config_assert() 1797 xWindow.u.bits.bSendFullSize = pdTRUE_UNSIGNED; in test_ulTCPWindowTxGet_empty_wait_queue_4() 1836 xWindow.u.bits.bSendFullSize = pdTRUE_UNSIGNED; in test_ulTCPWindowTxGet_empty_wait_queue_5() 1895 xWindow.u.bits.bSendFullSize = pdTRUE_UNSIGNED; in test_ulTCPWindowTxGet_empty_wait_queue_6() [all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_IP.h | 282 #define pdTRUE_UNSIGNED ( 1U ) macro
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Timers/ |
| D | FreeRTOS_IP_Timers_utest.c | 380 TEST_ASSERT_EQUAL( pdTRUE_UNSIGNED, xTCPTimer.bActive ); in test_vCheckNetworkTimers_AllTimersInactive_2()
|