Searched defs:pcHostName (Results 1 – 9 of 9) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName_a/ |
| D | DNSgetHostByName_a_harness.c | 73 const char * pcHostName, in __CPROVER_file_local_FreeRTOS_DNS_c_prvCreateDNSMessage()
90 void func( const char * pcHostName, in func()
147 uint32_t Prepare_CacheLookup( const char * pcHostName, in Prepare_CacheLookup()
180 char * pcHostName = safeMalloc( len ); in harness() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_DNS.c | 202 uint32_t FreeRTOS_gethostbyname( const char * pcHostName ) in FreeRTOS_gethostbyname()
463 uint32_t FreeRTOS_gethostbyname( const char * pcHostName ) in FreeRTOS_gethostbyname()
482 uint32_t FreeRTOS_gethostbyname_a( const char * pcHostName, in FreeRTOS_gethostbyname_a()
511 static uint32_t prvPrepare_ReadIPAddress( const char * pcHostName, in prvPrepare_ReadIPAddress()
583 static uint32_t prvPrepareLookup( const char * pcHostName, in prvPrepareLookup()
801 const char * pcHostName, in prvGetPayloadBuffer()
834 const char * pcHostName ) in prvFillSockAddress()
1136 static BaseType_t prvSendBuffer( const char * pcHostName, in prvSendBuffer()
1243 static uint32_t prvGetHostByNameOp( const char * pcHostName, in prvGetHostByNameOp()
1376 static uint32_t prvGetHostByNameOp_WithRetry( const char * pcHostName, in prvGetHostByNameOp_WithRetry()
[all …]
|
| D | FreeRTOS_DNS_Cache.c | 100 uint32_t FreeRTOS_dnslookup( const char * pcHostName ) in FreeRTOS_dnslookup()
127 uint32_t FreeRTOS_dnslookup6( const char * pcHostName, in FreeRTOS_dnslookup6()
550 uint32_t Prepare_CacheLookup( const char * pcHostName, in Prepare_CacheLookup()
|
| D | FreeRTOS_DNS_Callback.c | 132 void vDNSSetCallBack( const char * pcHostName, in vDNSSetCallBack()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName_cancel/ |
| D | DNSgetHostByName_cancel_harness.c | 47 void func( const char * pcHostName, in func()
64 char * pcHostName = safeMalloc( len ); in harness() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName/ |
| D | DNSgetHostByName_harness.c | 139 uint32_t FreeRTOS_dnslookup( const char * pcHostName ) in FreeRTOS_dnslookup()
170 const char * pcHostName, in __CPROVER_file_local_FreeRTOS_DNS_c_prvCreateDNSMessage()
230 char * pcHostName = malloc( len ); in harness() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSlookup/ |
| D | DNSlookup_harness.c | 30 char * pcHostName = safeMalloc( len ); /* malloc is replaced by safeMalloc */ in harness() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/CreateDNSMessage/ |
| D | CreateDNSMessage_harness.c | 57 char * pcHostName = malloc( len ); in harness() local
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCP/ |
| D | FreeRTOS_DHCP_utest.c | 36 static const char * pcHostName = "Unit-Test"; variable
|
