Home
last modified time | relevance | path

Searched refs:ret (Results 1 – 19 of 19) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/linux/
HDNetworkInterface.c133 BaseType_t ret = pdFAIL; in xNetworkInterfaceInitialise() local
145 ret = prvOpenSelectedNetworkInterface( pxAllNetworkInterfaces ); in xNetworkInterfaceInitialise()
147 if( ret == pdPASS ) in xNetworkInterfaceInitialise()
149 ret = prvCreateThreadSafeBuffers(); in xNetworkInterfaceInitialise()
151 if( ret == pdPASS ) in xNetworkInterfaceInitialise()
153 ret = prvCreateWorkerThreads(); in xNetworkInterfaceInitialise()
161 if( ( pxOpenedInterfaceHandle != NULL ) && ( ret == pdPASS ) ) in xNetworkInterfaceInitialise()
163 ret = pdPASS; in xNetworkInterfaceInitialise()
166 return ret; in xNetworkInterfaceInitialise()
283 int ret = pdFAIL; in prvCreateThreadSafeBuffers() local
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_Networking/
HDFreeRTOS_DNS_Networking_utest.c143 uint32_t ret; in test_BindSocket_fail() local
147 ret = DNS_BindSocket( xSocket, usPort ); in test_BindSocket_fail()
149 TEST_ASSERT_EQUAL( 0, ret ); in test_BindSocket_fail()
160 uint32_t ret; in test_BindSocket_success() local
164 ret = DNS_BindSocket( xSocket, usPort ); in test_BindSocket_success()
166 TEST_ASSERT_EQUAL( 1, ret ); in test_BindSocket_success()
175 uint32_t ret; in test_SendRequest_success() local
183 ret = DNS_SendRequest( s, &xAddress, &pxDNSBuf ); in test_SendRequest_success()
185 TEST_ASSERT_EQUAL( pdTRUE, ret ); in test_SendRequest_success()
194 uint32_t ret; in test_SendRequest_fail() local
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_Parser/
HDFreeRTOS_DNS_Parser_utest.c140 size_t ret; in test_DNS_ReadNameField_success_empty_uxRemainingBytes() local
145 ret = DNS_ReadNameField( &xSet, uxDestLen ); in test_DNS_ReadNameField_success_empty_uxRemainingBytes()
146 TEST_ASSERT_EQUAL( 0, ret ); in test_DNS_ReadNameField_success_empty_uxRemainingBytes()
156 size_t ret; in test_DNS_ReadNameField_fail_offset_dns_name() local
163 ret = DNS_ReadNameField( &xSet, uxDestLen ); in test_DNS_ReadNameField_fail_offset_dns_name()
165 TEST_ASSERT_EQUAL( 0, ret ); in test_DNS_ReadNameField_fail_offset_dns_name()
175 size_t ret; in test_DNS_ReadNameField_success_fully_coded_gt_uint16() local
183 ret = DNS_ReadNameField( &xSet, 234 ); in test_DNS_ReadNameField_success_fully_coded_gt_uint16()
185 TEST_ASSERT_EQUAL( sizeof( uint16_t ), ret ); in test_DNS_ReadNameField_success_fully_coded_gt_uint16()
195 size_t ret; in test_DNS_ReadNameField_success_half_coded_gt_uint16() local
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName/
HDDNSgetHostByName_harness.c91 uint32_t ret; in DNS_SendRequest() local
93 __CPROVER_assume( ret >= 0 ); in DNS_SendRequest()
94 __CPROVER_assume( ret <= 1 ); in DNS_SendRequest()
96 return ret; in DNS_SendRequest()
109 BaseType_t ret; in DNS_ReadReply() local
122 return ret; in DNS_ReadReply()
141 int ret; in FreeRTOS_dnslookup() local
143 __CPROVER_assume( ret < 0xFFFF ); in FreeRTOS_dnslookup()
144 __CPROVER_assume( ret > 0 ); in FreeRTOS_dnslookup()
146 return ret; in FreeRTOS_dnslookup()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_ConfigNoCallback/
HDFreeRTOS_DNS_ConfigNoCallback_utest.c118 uint32_t ret; in test_FreeRTOS_gethostbyname_SuccessDotAddress() local
124 ret = FreeRTOS_gethostbyname( DOTTED_IPV4_ADDRESS ); in test_FreeRTOS_gethostbyname_SuccessDotAddress()
125 TEST_ASSERT_EQUAL( 12345, ret ); in test_FreeRTOS_gethostbyname_SuccessDotAddress()
134 uint32_t ret; in test_FreeRTOS_gethostbyname_SuccessAddressInCache() local
139 ret = FreeRTOS_gethostbyname( GOOD_ADDRESS ); in test_FreeRTOS_gethostbyname_SuccessAddressInCache()
140 TEST_ASSERT_EQUAL( 12345, ret ); in test_FreeRTOS_gethostbyname_SuccessAddressInCache()
148 uint32_t ret; in test_FreeRTOS_gethostbyname_DifferentIdentifier() local
205 ret = FreeRTOS_gethostbyname( GOOD_ADDRESS ); in test_FreeRTOS_gethostbyname_DifferentIdentifier()
207 TEST_ASSERT_EQUAL( 0, ret ); in test_FreeRTOS_gethostbyname_DifferentIdentifier()
218 uint32_t ret; in test_FreeRTOS_gethostbyname_SameIdentifier() local
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/mw300_rd/
HDNetworkInterface.c169 uint8_t ret; in xNetworkInterfaceInitialise() local
172 ret = wifi_get_device_mac_addr( &mac_addr ); in xNetworkInterfaceInitialise()
174 if( ret != WM_SUCCESS ) in xNetworkInterfaceInitialise()
181 return ( xInterfaceState == INTERFACE_UP && ret == WM_SUCCESS ) ? pdTRUE : pdFALSE; in xNetworkInterfaceInitialise()
234 int ret = wifi_low_level_output( BSS_TYPE_STA, outbuf + pkt_len, pxNetworkBuffer->xDataLength ); in xNetworkInterfaceOutput() local
236 if( ret != WM_SUCCESS ) in xNetworkInterfaceOutput()
238 …length %d, error %d \r\n", pxNetworkBuffer->pucEthernetBuffer, pxNetworkBuffer->xDataLength, ret ); in xNetworkInterfaceOutput()
246 return ret == WM_SUCCESS ? pdTRUE : pdFALSE; in xNetworkInterfaceOutput()
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/RX/
HDether_callback.c67 int32_t ret; in callback_ether_regist() local
72 ret = R_ETHER_Control( CONTROL_SET_CALLBACK, param ); in callback_ether_regist()
74 if( ETHER_SUCCESS != ret ) in callback_ether_regist()
82 ret = R_ETHER_Control( CONTROL_SET_INT_HANDLER, param ); in callback_ether_regist()
84 if( ETHER_SUCCESS != ret ) in callback_ether_regist()
HDNetworkInterface.c540 ether_return_t ret; in SendData() local
545 ret = R_ETHER_Write_ZC2_GetBuf( ETHER_CHANNEL_0, ( void ** ) &pwrite_buffer, &write_buf_size ); in SendData()
547 if( ETHER_SUCCESS == ret ) in SendData()
560 ret = R_ETHER_Write_ZC2_SetBuf( ETHER_CHANNEL_0, ( uint16_t ) length ); in SendData()
561 ret = R_ETHER_CheckWrite( ETHER_CHANNEL_0 ); in SendData()
564 if( ETHER_SUCCESS != ret ) in SendData()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/lib/
HDprint_tool_versions.py42 ret = {}
45 ret[tool] = None
60 ret[tool] = out.strip()
61 return ret
HDsummarize.py29 ret = [len(item) + 1 for item in data[0]]
32 ret[idx] = max(ret[idx], len(item) + 1)
33 return ret
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/esp32/
HDNetworkInterface.c145 esp_err_t ret; in xESP32_Eth_NetworkInterfaceOutput() local
150 ret = ESP_FAIL; in xESP32_Eth_NetworkInterfaceOutput()
154 …ret = esp_wifi_internal_tx( ESP_IF_WIFI_STA, pxNetworkBuffer->pucEthernetBuffer, pxNetworkBuffer->… in xESP32_Eth_NetworkInterfaceOutput()
156 if( ret != ESP_OK ) in xESP32_Eth_NetworkInterfaceOutput()
158 …uffer %p, len %d, err %d", pxNetworkBuffer->pucEthernetBuffer, pxNetworkBuffer->xDataLength, ret ); in xESP32_Eth_NetworkInterfaceOutput()
176 return ret == ESP_OK ? pdTRUE : pdFALSE; in xESP32_Eth_NetworkInterfaceOutput()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS/
HDFreeRTOS_DNS_utest.c103 uint32_t ret; in test_FreeRTOS_gethostbyname_FailAllocateNetworkBuffer() local
129 ret = FreeRTOS_gethostbyname( GOOD_ADDRESS ); in test_FreeRTOS_gethostbyname_FailAllocateNetworkBuffer()
131 TEST_ASSERT_EQUAL( 0, ret ); in test_FreeRTOS_gethostbyname_FailAllocateNetworkBuffer()
139 uint32_t ret; in test_FreeRTOS_gethostbyname_FailNullAddress() local
141 ret = FreeRTOS_gethostbyname( NULL ); in test_FreeRTOS_gethostbyname_FailNullAddress()
142 TEST_ASSERT_EQUAL( 0, ret ); in test_FreeRTOS_gethostbyname_FailNullAddress()
151 uint32_t ret; in test_FreeRTOS_gethostbyname_FailLongAddress() local
158 ret = FreeRTOS_gethostbyname( address ); in test_FreeRTOS_gethostbyname_FailLongAddress()
159 TEST_ASSERT_EQUAL( 0, ret ); in test_FreeRTOS_gethostbyname_FailLongAddress()
168 uint32_t ret; in test_FreeRTOS_gethostbyname_SuccessDotAddress() local
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_Callback/
HDFreeRTOS_DNS_Callback_utest.c106 BaseType_t ret; in test_xDNSDoCallback_success_not_equal_identifier() local
126 ret = xDNSDoCallback( &pxSet, &pxAddress ); in test_xDNSDoCallback_success_not_equal_identifier()
127 TEST_ASSERT_EQUAL( pdFALSE, ret ); in test_xDNSDoCallback_success_not_equal_identifier()
135 BaseType_t ret; in test_xDNSDoCallback_success_equal_identifier() local
160 ret = xDNSDoCallback( &pxSet, &pxAddress ); in test_xDNSDoCallback_success_equal_identifier()
161 TEST_ASSERT_EQUAL( pdTRUE, ret ); in test_xDNSDoCallback_success_equal_identifier()
170 BaseType_t ret; in test_xDNSDoCallback_success_equal_identifier_set_timer() local
196 ret = xDNSDoCallback( &pxSet, &pxAddress ); in test_xDNSDoCallback_success_equal_identifier_set_timer()
199 TEST_ASSERT_EQUAL( pdTRUE, ret ); in test_xDNSDoCallback_success_equal_identifier_set_timer()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket_IPv6/
HDvProcessGeneratedUDPPacket_IPv6_harness.c76 BaseType_t ret; in NetworkInterfaceOutputFunction_Stub() local
82 return ret; in NetworkInterfaceOutputFunction_Stub()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket/
HDvProcessGeneratedUDPPacket_harness.c85 BaseType_t ret; in NetworkInterfaceOutputFunction_Stub() local
86 return ret; in NetworkInterfaceOutputFunction_Stub()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName_a/
HDDNSgetHostByName_a_harness.c110 BaseType_t ret; in NetworkInterfaceOutputFunction_Stub() local
111 return ret; in NetworkInterfaceOutputFunction_Stub()
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/M487/
HDm480_eth.c264 int ret = 0; in numaker_eth_init() local
302 ret = reset_phy(); in numaker_eth_init()
306 return ret; in numaker_eth_init()
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/STM32Hxx/
HDstm32hxx_hal_eth.c2432 HAL_ETH_StateTypeDef ret; in HAL_ETH_GetState() local
2436 ret = gstate; in HAL_ETH_GetState()
2437 ret |= rxstate; in HAL_ETH_GetState()
2438 return ret; in HAL_ETH_GetState()
/FreeRTOS-Plus-TCP-v4.0.0/
HDlexicon.txt1118 ret