| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_TCP_IP.c | 154 BaseType_t xResult = 0; in xTCPSocketCheck() local
598 …BaseType_t xResult = xTCPWindowTxHasData( &pxSocket->u.xTCP.xTCPWindow, pxSocket->u.xTCP.ulWindowS… in prvTCPNextTimeout() local
655 BaseType_t xResult; in xProcessReceivedTCPPacket() local
698 BaseType_t xResult = pdFALSE; in xTCPCheckNewClient() local
|
| D | FreeRTOS_BitConfig.c | 61 BaseType_t xResult = pdFALSE; in xBitConfig_init() local
103 BaseType_t xResult = pdFALSE; in xBitConfig_read_uc() local
145 BaseType_t xResult = pdFALSE; in pucBitConfig_peek_last_index_uc() local
|
| D | FreeRTOS_TCP_State_Handling.c | 98 BaseType_t xResult; in prvTCPSocketIsActive() local
143 BaseType_t xResult; in prvTCPStatusAgeCheck() local
953 BaseType_t xResult; in prvTCPSocketCopy() local
|
| D | FreeRTOS_DHCP.c | 1159 BaseType_t xResult = -1; in xProcessCheckOption() local
1299 BaseType_t xResult; in prvProcessDHCPReplies() local
1483 BaseType_t xResult = pdFAIL; in prvSendDHCPRequest() local
1561 BaseType_t xResult = pdFAIL; in prvSendDHCPDiscover() local
|
| D | FreeRTOS_TCP_IP_IPv6.c | 121 BaseType_t xResult = pdPASS; in xProcessReceivedTCPPacket_IPV6() local
|
| D | FreeRTOS_TCP_IP_IPv4.c | 112 BaseType_t xResult = pdPASS; in xProcessReceivedTCPPacket_IPV4() local
|
| D | FreeRTOS_Sockets.c | 2003 BaseType_t xResult; in FreeRTOS_closesocket() local
3178 BaseType_t xResult; in FreeRTOS_inet_pton() local
3375 BaseType_t xResult = pdFALSE; in FreeRTOS_EUI48_pton() local
3609 BaseType_t xResult; in bMayConnect() local
3659 BaseType_t xResult = 0; in prvTCPConnectStart() local
3769 BaseType_t xResult = -pdFREERTOS_ERRNO_EINVAL; in FreeRTOS_connect() local
4314 int32_t xResult = 1; in prvTCPSendCheck() local
4654 BaseType_t xResult = 0; in FreeRTOS_listen() local
4725 BaseType_t xResult; in FreeRTOS_shutdown() local
5194 int32_t xResult = 0; in lTCPAddRxdata() local
[all …]
|
| D | FreeRTOS_IPv6.c | 92 BaseType_t xResult = pdFAIL; in xCheckIPv6SizeFields() local
367 BaseType_t xResult; in xCompareIPv6_Address() local
|
| D | FreeRTOS_IPv4_Sockets.c | 76 BaseType_t xResult = pdPASS; in FreeRTOS_inet_pton4() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_BitConfig/ |
| D | FreeRTOS_BitConfig_utest.c | 64 BaseType_t xResult = pdFALSE; in test_xBitConfig_init_Fail() local
88 BaseType_t xResult = pdFALSE; in test_xBitConfig_init_pucDataNull() local
117 BaseType_t xResult = pdFALSE; in test_xBitConfig_init_HappyPath() local
142 BaseType_t xResult = pdFALSE; in test_xBitConfig_read_uc_xHasError() local
162 BaseType_t xResult = pdFALSE; in test_xBitConfig_read_uc_OutOfBoundRead() local
184 BaseType_t xResult = pdFALSE; in test_xBitConfig_read_uc_NullData() local
207 BaseType_t xResult = pdFALSE; in test_xBitConfig_read_uc_HappyPath() local
235 BaseType_t xResult = pdFALSE; in test_pucBitConfig_peek_last_index_uc_xHasError() local
255 BaseType_t xResult = pdFALSE; in test_pucBitConfig_peek_last_index_uc_NullpucData() local
279 BaseType_t xResult = pdFALSE; in test_pucBitConfig_peek_OutOfBound() local
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/IsDHCPSocket/ |
| D | IsDHCPSocket_harness.c | 46 BaseType_t xResult; in harness() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig2/ |
| D | FreeRTOS_Sockets_DiffConfig2_GenericAPI_utest.c | 153 BaseType_t xResult; in test_FreeRTOS_connect_SocketValuesNULL_UseTempDestinationAddress() local
174 BaseType_t xResult; in test_FreeRTOS_connect_SocketValuesNULL_IPv6DestinationAddress() local
195 BaseType_t xResult; in test_FreeRTOS_connect_SocketValuesNULL_IPv4DestinationAddress() local
216 BaseType_t xResult; in test_FreeRTOS_connect_SocketValuesNULL_NullDestinationAddress() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/libslirp/ |
| D | MBuffNetworkInterface.c | 87 BaseType_t xResult = pdTRUE; in xNetworkInterfaceInitialise() local
278 BaseType_t xResult = pdFALSE; in xNetworkInterfaceOutput() local
372 BaseType_t xResult = pdFALSE; in xGetPhyLinkStatus() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6Analyse/ |
| D | DHCPv6Analyse_harness.c | 58 BaseType_t xResult; in harness() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/Process_PassReplyToEndPoint/ |
| D | DHCPv6Process_PassReplyToEndPoint_harness.c | 68 BaseType_t xResult; in harness() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6Process/ |
| D | DHCPv6Process_harness.c | 67 BaseType_t xResult; in __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvDHCPv6Analyse() local
79 BaseType_t xResult; in __CPROVER_file_local_FreeRTOS_DHCPv6_c_xDHCPv6Process_PassReplyToEndPoint() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ARP/ |
| D | FreeRTOS_ARP_utest.c | 71 BaseType_t xResult; in test_xCheckLoopback_NullNetworkBuffer() local
84 BaseType_t xResult; in test_xCheckLoopback_DataLengthTooSmall() local
105 BaseType_t xResult; in test_xCheckLoopback_IncorrectFrameType() local
126 BaseType_t xResult; in test_xCheckLoopback_NullEndPoint() local
151 BaseType_t xResult; in test_xCheckLoopback_IncorrectMACAddress() local
176 BaseType_t xResult; in test_xCheckLoopback_HappyCase() local
206 BaseType_t xResult; in test_xCheckLoopback_DuplicationFails() local
235 BaseType_t xResult; in test_xCheckLoopback_SendEventToIPTaskFails() local
1560 BaseType_t xResult; in test_xIsIPInARPCache_NoMatchingIP() local
1575 BaseType_t xResult; in test_xIsIPInARPCache_MatchingIPButEntryInvalid() local
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Reception/ |
| D | FreeRTOS_TCP_Reception_utest.c | 803 BaseType_t xResult = 0; in test_prvStoreRxData_Happy_Path() local
844 BaseType_t xResult = 0; in test_prvStoreRxData_Wrong_State() local
885 BaseType_t xResult = 0; in test_prvStoreRxData_Zero_Length() local
918 BaseType_t xResult = 0; in test_prvStoreRxData_Null_RxStream() local
955 BaseType_t xResult = 0; in test_prvStoreRxData_Negative_Offset() local
995 BaseType_t xResult = 0; in test_prvStoreRxData_None_Zero_Skipcount() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/tools/tcp_utilities/ |
| D | tcp_netstat.c | 55 BaseType_t xResult = 0; in vGetMetrics() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Timers/ |
| D | FreeRTOS_IP_Timers_utest.c | 837 BaseType_t xResult; in test_prvIPTimerCheck_TimerDisabled() local
853 BaseType_t xResult; in test_prvIPTimerCheck_TimerExpired() local
877 BaseType_t xResult; in test_prvIPTimerCheck_TimerNotExpired() local
897 BaseType_t xResult; in test_prvIPTimerCheck_TimerExpiredInxTaskCheckForTimeOut() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6HandleOption/ |
| D | DHCPv6HandleOption_harness.c | 79 BaseType_t xResult; in harness() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_IPv6/ |
| D | FreeRTOS_Sockets_IPv6_utest.c | 1070 BaseType_t xResult; in test_FreeRTOS_inet_pton6() local
1087 BaseType_t xResult; in test_FreeRTOS_inet_pton6_DoubleColonInput() local
1104 BaseType_t xResult; in test_FreeRTOS_inet_pton6_StartsWithSingleColon() local
1121 BaseType_t xResult; in test_FreeRTOS_inet_pton6_NoShortHand() local
1138 BaseType_t xResult; in test_FreeRTOS_inet_pton6_LongerInput() local
1155 BaseType_t xResult; in test_FreeRTOS_inet_pton6_InputTermintatesInDoubleColon() local
1171 BaseType_t xResult; in test_FreeRTOS_inet_pton6_InputHasInvalidChars() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/STM32Fxx/ |
| D | NetworkInterface.c | 456 BaseType_t xResult; in xSTM32F_NetworkInterfaceInitialise() local
1244 BaseType_t xResult; in xSTM32_PhyRead() local
1269 BaseType_t xResult; in xSTM32_PhyWrite() local
1449 BaseType_t xResult; in prvEMACHandlerTask() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/STM32Hxx/ |
| D | NetworkInterface.c | 263 BaseType_t xResult; in xSTM32H_NetworkInterfaceInitialise() local
533 BaseType_t xResult = pdFAIL; in xSTM32H_NetworkInterfaceOutput() local
1044 BaseType_t xResult = 0; in prvEMACHandlerTask() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/ATSAM4E/ |
| D | NetworkInterface.c | 251 BaseType_t xResult; in xGetPhyLinkStatus() local
530 BaseType_t xResult = 0; in prvEMACHandlerTask() local
|
