| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS/ |
| D | FreeRTOS_DNS_utest.c | 109 uint32_t ret; in test_FreeRTOS_gethostbyname_fail_allocate_network_buffer() local
124 ret = FreeRTOS_gethostbyname( GOOD_ADDRESS ); in test_FreeRTOS_gethostbyname_fail_allocate_network_buffer()
126 TEST_ASSERT_EQUAL( 0, ret ); in test_FreeRTOS_gethostbyname_fail_allocate_network_buffer()
134 uint32_t ret; in test_FreeRTOS_gethostbyname_fail_NULL_address() local
136 ret = FreeRTOS_gethostbyname( NULL ); in test_FreeRTOS_gethostbyname_fail_NULL_address()
137 TEST_ASSERT_EQUAL( 0, ret ); in test_FreeRTOS_gethostbyname_fail_NULL_address()
146 uint32_t ret; in test_FreeRTOS_gethostbyname_fail_long_address() local
153 ret = FreeRTOS_gethostbyname( address ); in test_FreeRTOS_gethostbyname_fail_long_address()
154 TEST_ASSERT_EQUAL( 0, ret ); in test_FreeRTOS_gethostbyname_fail_long_address()
163 uint32_t ret; in test_FreeRTOS_gethostbyname_success_dot_address() local
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/linux/ |
| D | NetworkInterface.c | 105 BaseType_t ret = pdFAIL; in xNetworkInterfaceInitialise() local
115 ret = prvOpenSelectedNetworkInterface( pxAllNetworkInterfaces ); in xNetworkInterfaceInitialise()
117 if( ret == pdPASS ) in xNetworkInterfaceInitialise()
119 ret = prvCreateThreadSafeBuffers(); in xNetworkInterfaceInitialise()
121 if( ret == pdPASS ) in xNetworkInterfaceInitialise()
123 ret = prvCreateWorkerThreads(); in xNetworkInterfaceInitialise()
131 if( ( pxOpenedInterfaceHandle != NULL ) && ( ret == pdPASS ) ) in xNetworkInterfaceInitialise()
133 ret = pdPASS; in xNetworkInterfaceInitialise()
136 return ret; in xNetworkInterfaceInitialise()
201 int ret = pdFAIL; in prvCreateThreadSafeBuffers() local
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS_Parser/ |
| D | FreeRTOS_DNS_Parser_utest.c | 129 size_t ret; in test_DNS_ReadNameField_success_empty_uxRemainingBytes() local
132 ret = DNS_ReadNameField( pucByte, 0, "name", 4 ); in test_DNS_ReadNameField_success_empty_uxRemainingBytes()
133 TEST_ASSERT_EQUAL( 0, ret ); in test_DNS_ReadNameField_success_empty_uxRemainingBytes()
143 size_t ret; in test_DNS_ReadNameField_fail_offset_dns_name() local
148 ret = DNS_ReadNameField( pucByte, 2, "name", 4 ); in test_DNS_ReadNameField_fail_offset_dns_name()
150 TEST_ASSERT_EQUAL( 0, ret ); in test_DNS_ReadNameField_fail_offset_dns_name()
160 size_t ret; in test_DNS_ReadNameField_success_fully_coded_gt_uint16() local
166 ret = DNS_ReadNameField( pucByte, 8, "name", 234 ); in test_DNS_ReadNameField_success_fully_coded_gt_uint16()
168 TEST_ASSERT_EQUAL( sizeof( uint16_t ), ret ); in test_DNS_ReadNameField_success_fully_coded_gt_uint16()
177 size_t ret; in test_DNS_ReadNameField_zero_size_walk_over_nothing_to_do() local
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName/ |
| D | DNSgetHostByName_harness.c | 83 uint32_t ret; in DNS_SendRequest() local
85 __CPROVER_assume( ret >= 0 ); in DNS_SendRequest()
86 __CPROVER_assume( ret <= 1 ); in DNS_SendRequest()
88 return ret; in DNS_SendRequest()
127 int ret; in FreeRTOS_dnslookup() local
129 __CPROVER_assume( ret < 0xFFFF ); in FreeRTOS_dnslookup()
130 __CPROVER_assume( ret > 0 ); in FreeRTOS_dnslookup()
132 return ret; in FreeRTOS_dnslookup()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS_Networking/ |
| D | FreeRTOS_DNS_Networking_utest.c | 162 uint32_t ret; in test_SendRequest_success() local
168 ret = DNS_SendRequest( s, &xAddress, &pxDNSBuf ); in test_SendRequest_success()
170 TEST_ASSERT_EQUAL( pdTRUE, ret ); in test_SendRequest_success()
179 uint32_t ret; in test_SendRequest_fail() local
185 ret = DNS_SendRequest( s, &xAddress, &pxDNSBuf ); in test_SendRequest_fail()
187 TEST_ASSERT_EQUAL( pdFALSE, ret ); in test_SendRequest_fail()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/mw300_rd/ |
| D | NetworkInterface.c | 169 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-v3.1.0/test/unit-test/FreeRTOS_DNS_Callback/ |
| D | FreeRTOS_DNS_Callback_utest.c | 106 BaseType_t ret; in test_xDNSDoCallback_success_not_equal_identifier() local
117 ret = xDNSDoCallback( 123, "test", 123456 ); in test_xDNSDoCallback_success_not_equal_identifier()
118 TEST_ASSERT_EQUAL( pdFALSE, ret ); in test_xDNSDoCallback_success_not_equal_identifier()
126 BaseType_t ret; in test_xDNSDoCallback_success_equal_identifier() local
143 ret = xDNSDoCallback( 123, "test", 123456 ); in test_xDNSDoCallback_success_equal_identifier()
144 TEST_ASSERT_EQUAL( pdTRUE, ret ); in test_xDNSDoCallback_success_equal_identifier()
153 BaseType_t ret; in test_xDNSDoCallback_success_equal_identifier_set_timer() local
173 ret = xDNSDoCallback( 123, "test", 123456 ); in test_xDNSDoCallback_success_equal_identifier_set_timer()
176 TEST_ASSERT_EQUAL( pdTRUE, ret ); in test_xDNSDoCallback_success_equal_identifier_set_timer()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/esp32/ |
| D | NetworkInterface.c | 77 esp_err_t ret; in xNetworkInterfaceOutput() local
82 ret = ESP_FAIL; in xNetworkInterfaceOutput()
86 …ret = esp_wifi_internal_tx( ESP_IF_WIFI_STA, pxNetworkBuffer->pucEthernetBuffer, pxNetworkBuffer->… in xNetworkInterfaceOutput()
88 if( ret != ESP_OK ) in xNetworkInterfaceOutput()
90 …uffer %p, len %d, err %d", pxNetworkBuffer->pucEthernetBuffer, pxNetworkBuffer->xDataLength, ret ); in xNetworkInterfaceOutput()
108 return ret == ESP_OK ? pdTRUE : pdFALSE; in xNetworkInterfaceOutput()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/RX/ |
| D | ether_callback.c | 67 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()
|
| D | NetworkInterface.c | 474 ether_return_t ret; in SendData() local
479 ret = R_ETHER_Write_ZC2_GetBuf( ETHER_CHANNEL_0, ( void ** ) &pwrite_buffer, &write_buf_size ); in SendData()
481 if( ETHER_SUCCESS == ret ) in SendData()
494 ret = R_ETHER_Write_ZC2_SetBuf( ETHER_CHANNEL_0, ( uint16_t ) length ); in SendData()
495 ret = R_ETHER_CheckWrite( ETHER_CHANNEL_0 ); in SendData()
498 if( ETHER_SUCCESS != ret ) in SendData()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/M487/ |
| D | m480_eth.c | 264 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-v3.1.0/source/portable/NetworkInterface/xilinx_ultrascale/ |
| D | x_emacpsif_physpeed.c | 875 int ret; in prvAR803x_debug_reg_mask() local
877 ret = prvAR803x_debug_reg_read( xemacpsp, phy_addr, reg ); in prvAR803x_debug_reg_mask()
879 if( ret < 0 ) in prvAR803x_debug_reg_mask()
881 return ret; in prvAR803x_debug_reg_mask()
884 val = ret & 0xffff; in prvAR803x_debug_reg_mask()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/STM32Hxx/ |
| D | stm32hxx_hal_eth.c | 2482 HAL_ETH_StateTypeDef ret; in HAL_ETH_GetState() local
2486 ret = gstate; in HAL_ETH_GetState()
2487 ret |= rxstate; in HAL_ETH_GetState()
2488 return ret; in HAL_ETH_GetState()
|
