| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_TCP_API_utest.c | 365 BaseType_t xReturn; in test_FreeRTOS_recv_InvalidValues() local
400 BaseType_t xReturn; in test_FreeRTOS_recv_NotConnectedAndNoMemory() local
427 BaseType_t xReturn; in test_FreeRTOS_recv_EstablishedConnection_NoWait() local
451 BaseType_t xReturn; in test_FreeRTOS_recv_TimeOut() local
478 BaseType_t xReturn; in test_FreeRTOS_recv_Interrupted() local
507 BaseType_t xReturn; in test_FreeRTOS_recv_Interrupted1() local
538 BaseType_t xReturn; in test_FreeRTOS_recv_RxStreamNULL() local
569 BaseType_t xReturn; in test_FreeRTOS_recv_12BytesAlreadyInBuffer() local
597 BaseType_t xReturn; in test_FreeRTOS_recv_LowWaterReached() local
633 BaseType_t xReturn; in test_FreeRTOS_recv_LowWaterReached2() local
[all …]
|
| D | FreeRTOS_Sockets_GenericAPI_utest.c | 723 EventBits_t xReturn; in test_FreeRTOS_FD_ISSET_SocketSetDifferent() local
742 EventBits_t xReturn; in test_FreeRTOS_FD_ISSET_SocketSetSame() local
761 BaseType_t xReturn; in test_FreeRTOS_select_CatchAssert() local
774 BaseType_t xReturn; in test_FreeRTOS_select_BitsMatched() local
799 BaseType_t xReturn; in test_FreeRTOS_select_Timeout() local
826 BaseType_t xReturn; in test_FreeRTOS_select_TimeoutSecondTime() local
863 BaseType_t xReturn; in test_FreeRTOS_select_FoundWaitBits() local
884 BaseType_t xReturn; in test_FreeRTOS_bind_catchAssert() local
899 BaseType_t xReturn; in test_FreeRTOS_bind_SocketIsNULL() local
916 BaseType_t xReturn; in test_FreeRTOS_bind_SocketIsInvalid() local
[all …]
|
| D | FreeRTOS_Sockets_privates_utest.c | 165 BaseType_t xReturn; in test_prvValidSocket_InvalidOrNULLSocket() local
183 BaseType_t xReturn; in test_prvValidSocket_SocketBoundSetButNotBound() local
201 BaseType_t xReturn; in test_prvValidSocket_SocketBoundResetButBound() local
219 BaseType_t xReturn; in test_prvValidSocket_InvalidProtocol() local
250 BaseType_t xReturn; in test_prvDetermineSocketSize_IPTaskNotInit() local
266 BaseType_t xReturn; in test_prvDetermineSocketSize_CatchAssert() local
281 BaseType_t xReturn; in test_prvDetermineSocketSize_CatchAssert2() local
300 BaseType_t xReturn; in test_prvDetermineSocketSize_CatchAssert3() local
324 BaseType_t xReturn; in test_prvDetermineSocketSize_CatchAssert4() local
349 BaseType_t xReturn; in test_prvDetermineSocketSize_CatchAssert5() local
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_DiffConfig/ |
| D | FreeRTOS_IP_DiffConfig_utest.c | 288 BaseType_t xReturn; in test_FreeRTOS_IPInit_HappyPath() local
330 BaseType_t xByteCount = 100, xReturn; in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBufferAssert() local
344 BaseType_t xReturn; in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectSizeAssert() local
358 BaseType_t xReturn; in test_FreeRTOS_ReleaseTCPPayloadBuffer_IncorrectBytesReleasedAssert() local
374 BaseType_t xReturn; in test_FreeRTOS_ReleaseTCPPayloadBuffer_HappyPath() local
601 BaseType_t xReturn; in test_xCheckSizeFields_BufferLengthLess() local
636 BaseType_t xReturn; in test_xCheckSizeFields_HeaderLengthLess() local
668 BaseType_t xReturn; in test_xCheckSizeFields_HeaderLengthMore() local
700 BaseType_t xReturn; in test_xCheckSizeFields_HeaderLengthMoreThanTotalLength() local
734 BaseType_t xReturn; in test_xCheckSizeFields_IPPacketLengthMoreThanTotalLength() local
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_DNS_Networking.c | 50 BaseType_t xReturn; in DNS_CreateSocket() local
99 BaseType_t xReturn = pdFALSE; in DNS_SendRequest() local
|
| D | FreeRTOS_Tiny_TCP.c | 305 BaseType_t xReturn; in xTCPWindowTxDone() local
337 BaseType_t xReturn; in prvTCPWindowTxHasSpace() local
369 BaseType_t xReturn; in xTCPWindowTxHasData() local
|
| D | FreeRTOS_DHCP.c | 139 BaseType_t xReturn; in xIsDHCPSocket() local
611 BaseType_t xReturn; in prvCreateDHCPSocket() local
689 BaseType_t xReturn = pdPASS; in prvIsValidDHCPResponse() local
726 BaseType_t xReturn = pdFALSE; in prvProcessDHCPReplies() local
|
| D | FreeRTOS_Sockets.c | 234 BaseType_t xReturn; in prvValidSocket() local
294 BaseType_t xReturn = pdPASS; in prvDetermineSocketSize() local
374 Socket_t xReturn; in FreeRTOS_socket() local
672 EventBits_t xReturn; in FreeRTOS_FD_ISSET() local
1033 BaseType_t xReturn = prvValidSocket( pxSocket, FREERTOS_IPPROTO_UDP, pdFALSE ); in prvMakeSureSocketIsBound() local
1236 BaseType_t xReturn = 0; in FreeRTOS_bind() local
1319 BaseType_t xReturn = 0; /* In Berkeley sockets, 0 means pass for bind(). */ in vSocketBind() local
1737 BaseType_t xReturn; in prvSockopt_so_buffer() local
1799 BaseType_t xReturn = -pdFREERTOS_ERRNO_EINVAL; in FreeRTOS_setsockopt() local
4527 BaseType_t xReturn; in FreeRTOS_tx_space() local
[all …]
|
| D | FreeRTOS_IP.c | 724 BaseType_t xReturn = pdFALSE; in FreeRTOS_IPInit() local
946 BaseType_t xReturn = pdFAIL; in FreeRTOS_ReleaseTCPPayloadBuffer() local
997 BaseType_t xReturn = pdFAIL; in FreeRTOS_SendPingRequest() local
1104 BaseType_t xReturn, xSendMessage; in xSendEventStructToIPTask() local
1375 BaseType_t xReturn; in xIsIPv4Multicast() local
|
| D | FreeRTOS_TCP_Reception.c | 109 BaseType_t xReturn = pdPASS; in prvCheckOptions() local
207 BaseType_t xReturn = pdFALSE; in prvSingleStepTCPHeaderOptions() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Tiny_TCP/ |
| D | FreeRTOS_Tiny_TCP_utest.c | 335 BaseType_t xReturn; in test_xTCPWindowTxDone_seg_datalength_eq_zero() local
347 BaseType_t xReturn; in test_xTCPWindowTxDone_seg_datalength_ne_zero() local
360 BaseType_t xReturn; in test_xTCPWindowTxHasData() local
376 BaseType_t xReturn; in test_xTCPWindowTxHasData_txData_eq_zero() local
391 BaseType_t xReturn; in test_xTCPWindowTxHasData_outstanding_bits() local
413 BaseType_t xReturn; in test_xTCPWindowTxHasData_outstanding_bits_2() local
436 BaseType_t xReturn; in test_xTCPWindowTxHasData_tx_window_no_space() local
530 BaseType_t xReturn; in test_xTCPWindowRxEmpty_not_empty() local
543 BaseType_t xReturn; in test_xTCPWindowRxEmpty_Empty() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/LPC17xx/ |
| D | NetworkInterface.c | 90 BaseType_t xStatus, xReturn; in xNetworkInterfaceInitialise() local
130 BaseType_t xReturn = pdFAIL; in xNetworkInterfaceOutput() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Reception/ |
| D | FreeRTOS_TCP_Reception_utest.c | 121 BaseType_t xReturn; in test_prvCheckOptions_No_Option() local
142 BaseType_t xReturn; in test_prvCheckOptions_Invalid_Data_Length() local
164 BaseType_t xReturn; in test_prvCheckOptions_Invalid_Option_Length() local
186 BaseType_t xReturn; in test_prvCheckOptions_MSS_WSF() local
213 BaseType_t xReturn; in test_prvCheckOptions_MSS_WSF_Bad_Option() local
240 BaseType_t xReturn; in test_prvCheckOptions_MSS_WSF_Without_END() local
267 BaseType_t xReturn; in test_prvCheckOptions_MSS_WSF_SYN_on() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/xilinx_ultrascale/ |
| D | NetworkInterface.c | 188 BaseType_t xStatus, xReturn = pdFAIL; in xNetworkInterfaceInitialise() local
371 BaseType_t xReturn; in prvGMACWaitLS() local
442 BaseType_t xReturn; in xGetPhyLinkStatus() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP/ |
| D | FreeRTOS_IP_utest.c | 193 BaseType_t xReturn; in test_FreeRTOS_NetworkDownFromISR_SendToIPTaskSuccessful() local
207 BaseType_t xReturn; in test_FreeRTOS_NetworkDownFromISR_SendToIPTaskUnsuccessful() local
298 BaseType_t xReturn; in test_FreeRTOS_IPInit_HappyPath() local
354 BaseType_t xReturn; in test_FreeRTOS_IPInit_QueueCreationFails() local
395 BaseType_t xReturn; in test_FreeRTOS_IPInit_BufferCreationFails() local
444 BaseType_t xReturn; in test_FreeRTOS_IPInit_TaskCreationFails() local
636 BaseType_t xReturn; in test_FreeRTOS_ReleaseTCPPayloadBuffer_HappyPath() local
1086 BaseType_t xReturn; in test_FreeRTOS_SendPingRequest_HappyPath() local
1130 BaseType_t xReturn; in test_FreeRTOS_SendPingRequest_SendingToIPTaskFails() local
1176 BaseType_t xReturn; in test_FreeRTOS_SendPingRequest_TooManyBytes() local
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/LPC18xx/ |
| D | NetworkInterface.c | 232 BaseType_t xReturn = pdPASS; in xNetworkInterfaceInitialise() local
414 BaseType_t xReturn = pdFAIL; in xNetworkInterfaceOutput() local
645 BaseType_t xReturn; in xGetPhyLinkStatus() local
871 BaseType_t xReturn = pdFAIL; in prvSetLinkSpeed() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets_DiffConfig/ |
| D | FreeRTOS_Sockets_DiffConfig_privates_utest.c | 134 BaseType_t xReturn; in test_vSocketBind_TCP() local
155 BaseType_t xReturn; in test_vSocketBind_TCP1() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/M487/ |
| D | NetworkInterface.c | 89 BaseType_t xReturn = pdPASS; in xNetworkInterfaceInitialise() local
199 BaseType_t xReturn; in xGetPhyLinkStatus() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/Zynq/ |
| D | NetworkInterface.c | 270 BaseType_t xReturn; in prvGMACWaitLS() local
316 BaseType_t xReturn; in xGetPhyLinkStatus() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/SH2A/ |
| D | NetworkInterface.c | 84 BaseType_t xStatus, xReturn; in xNetworkInterfaceInitialise() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/MPS2_AN385/ |
| D | NetworkInterface.c | 225 BaseType_t xReturn = pdFAIL; in xNetworkInterfaceInitialise() local
304 BaseType_t xReturn = pdFAIL, x; in xNetworkInterfaceOutput() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/RX/ |
| D | NetworkInterface.c | 119 BaseType_t xReturn; in xNetworkInterfaceInitialise() local
166 BaseType_t xReturn = pdFALSE; in xNetworkInterfaceOutput() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP/ |
| D | FreeRTOS_TCP_IP_utest.c | 174 BaseType_t xReturn, xToReturn = 0xAABBCCDD; in test_xTCPSocketCheck_AllInputsZero1() local
192 BaseType_t xReturn, xToReturn = 0xAABBCCDD; in test_xTCPSocketCheck_StateEstablished() local
215 BaseType_t xReturn, xToReturn = 0xAABBCCDD; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull() local
241 BaseType_t xReturn, xToReturn = 0xAABBCCDD; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1() local
274 BaseType_t xReturn, xToReturn = 0xAABBCCDD; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull_BufferFreed() local
306 BaseType_t xReturn, xToReturn = 0; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1_NonZeroTimeout() local
335 BaseType_t xReturn, xToReturn = 0, xBackup; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1_NonZeroTimeout_NoLogPort() local
370 BaseType_t xReturn, xToReturn = 0; in test_xTCPSocketCheck_StateCLOSED_TxStreamNonNull1_NonZeroTimeout() local
400 BaseType_t xReturn, xToReturn = 0; in test_xTCPSocketCheck_StateeCONNECT_SYN_TxStreamNonNull_UserShutdown() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/DriverSAM/ |
| D | NetworkInterface.c | 321 BaseType_t xReturn; in xPHY_Read() local
381 BaseType_t xReturn; in xPHY_Write() local
460 BaseType_t xReturn; in xGetPhyLinkStatus() local
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPReturnPacket/ |
| D | TCPReturnPacket_harness.c | 66 BaseType_t xReturn; in xNetworkInterfaceOutput() local
|
