| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS_Callback/ |
| D | FreeRTOS_DNS_Callback_utest.c | 71 void * pvSearchID, in dns_callback() argument 185 void * pvSearchID = NULL; in test_vDNSSetCallback_success() local 198 vDNSSetCallBack( "hostname", pvSearchID, dns_callback, 56, 123 ); in test_vDNSSetCallback_success() 203 TEST_ASSERT_EQUAL( pvSearchID, dnsCallback.pvSearchID ); in test_vDNSSetCallback_success() 212 void * pvSearchID = NULL; in test_vDNSSetCallback_success_empty_list() local 227 vDNSSetCallBack( "hostname", pvSearchID, dns_callback, 56, 123 ); in test_vDNSSetCallback_success_empty_list() 232 TEST_ASSERT_EQUAL( pvSearchID, dnsCallback.pvSearchID ); in test_vDNSSetCallback_success_empty_list() 241 void * pvSearchID = NULL; in test_vDNSSetCallback_malloc_failed() local 247 vDNSSetCallBack( "hostname", pvSearchID, dns_callback, 56, 123 ); in test_vDNSSetCallback_malloc_failed() 256 void * pvSearchID = ( void * ) 456; in test_vDNSCheckCallback_success_search_id_not_null() local [all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_DNS_Callback.c | 76 pxCallback->pCallbackFunction( pcName, pxCallback->pvSearchID, in xDNSDoCallback() 107 void * pvSearchID, in vDNSSetCallBack() argument 128 pxCallback->pvSearchID = pvSearchID; in vDNSSetCallBack() 156 void vDNSCheckCallBack( void * pvSearchID ) in vDNSCheckCallBack() argument 170 if( ( pvSearchID != NULL ) && ( pvSearchID == pxCallback->pvSearchID ) ) in vDNSCheckCallBack() 177 pxCallback->pCallbackFunction( pxCallback->pcName, pxCallback->pvSearchID, 0 ); in vDNSCheckCallBack()
|
| D | FreeRTOS_DNS.c | 75 void * pvSearchID, 140 void FreeRTOS_gethostbyname_cancel( void * pvSearchID ) in FreeRTOS_gethostbyname_cancel() argument 143 vDNSCheckCallBack( pvSearchID ); in FreeRTOS_gethostbyname_cancel() 178 void * pvSearchID, in FreeRTOS_gethostbyname_a() argument 181 return prvPrepareLookup( pcHostName, pCallback, pvSearchID, uxTimeout ); in FreeRTOS_gethostbyname_a() 198 void * pvSearchID, in prvPrepareLookup() argument 289 pvSearchID, in prvPrepareLookup() 298 pCallback( pcHostName, pvSearchID, ulIPAddress ); in prvPrepareLookup()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName_cancel/ |
| D | DNSgetHostByName_cancel_harness.c | 17 void * pvSearchID, 47 void * pvSearchID, in func() argument 55 size_t pvSearchID; in harness() local 69 …vDNSSetCallBack( pcHostName, &pvSearchID, pCallback, xTimeout, xIdentifier ); /* Add an item to be… in harness() 70 FreeRTOS_gethostbyname_cancel( &pvSearchID ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS/ |
| D | FreeRTOS_DNS_utest.c | 69 void * pvSearchID, in dns_callback() argument 499 void * pvSearchID = NULL; in test_FreeRTOS_gethostbyname_cancel_success() local 502 FreeRTOS_gethostbyname_cancel( pvSearchID ); in test_FreeRTOS_gethostbyname_cancel_success() 514 int pvSearchID = 32; in test_FreeRTOS_gethostbyname_a_set_callback() local 525 &pvSearchID, in test_FreeRTOS_gethostbyname_a_set_callback() 538 int pvSearchID = 32; in test_FreeRTOS_gethostbyname_a_no_set_callback() local 547 &pvSearchID, in test_FreeRTOS_gethostbyname_a_no_set_callback() 561 int pvSearchID = 32; in test_FreeRTOS_gethostbyname_a_callback() local 569 &pvSearchID, in test_FreeRTOS_gethostbyname_a_callback() 584 int pvSearchID = 32; in test_FreeRTOS_gethostbyname_a_no_callback_retry_once() local [all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName_a/ |
| D | DNSgetHostByName_a_harness.c | 88 void * pvSearchID, in func() argument 110 void * pvSearchID; in harness() local 112 FreeRTOS_gethostbyname_a( pcHostName, pCallback, pvSearchID, xTimeout ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_DNS_Callback.h | 57 void * pvSearchID, 62 void vDNSCheckCallBack( void * pvSearchID );
|
| D | FreeRTOS_DNS.h | 73 void * pvSearchID, 75 void FreeRTOS_gethostbyname_cancel( void * pvSearchID );
|
| D | FreeRTOS_DNS_Globals.h | 226 void * pvSearchID; /**< Search ID of the callback function. */ member
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS_Networking/ |
| D | FreeRTOS_DNS_Networking_utest.c | 70 void * pvSearchID, in dns_callback() argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS_Cache/ |
| D | FreeRTOS_DNS_Cache_utest.c | 68 void * pvSearchID, in dns_callback() argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS_Parser/ |
| D | FreeRTOS_DNS_Parser_utest.c | 72 void * pvSearchID, in dns_callback() argument
|