Searched refs:uxIdentifier (Results 1 – 6 of 6) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/CreateDNSMessage/ |
| D | CreateDNSMessage_harness.c | 43 TickType_t uxIdentifier,
49 TickType_t uxIdentifier; in harness() local
85 …al_FreeRTOS_DNS_c_prvCreateDNSMessage( pucUDPPayloadBuffer, pcHostName, uxIdentifier, uxHostType ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_DNS.c | 68 TickType_t uxIdentifier,
93 TickType_t uxIdentifier,
607 TickType_t uxIdentifier = 0U; in prvPrepareLookup() local
678 uxIdentifier = ( TickType_t ) ( ulNumber & 0xffffU ); in prvPrepareLookup()
695 ( TickType_t ) uxIdentifier, in prvPrepareLookup()
711 uxIdentifier, in prvPrepareLookup()
1075 TickType_t uxIdentifier, in prvDNSReply() argument
1099 if( uxIdentifier == ( TickType_t ) pxDNSMessageHeader->usIdentifier ) in prvDNSReply()
1137 TickType_t uxIdentifier, in prvSendBuffer() argument
1204 uxIdentifier, in prvSendBuffer()
[all …]
|
| D | FreeRTOS_DNS_Callback.c | 62 TickType_t uxIdentifier = ( TickType_t ) pxSet->pxDNSMessageHeader->usIdentifier; in xDNSDoCallback() local
90 … xMatching = ( listGET_LIST_ITEM_VALUE( pxIterator ) == uxIdentifier ) ? pdTRUE : pdFALSE; in xDNSDoCallback()
136 TickType_t uxIdentifier, in vDNSSetCallBack() argument
165 listSET_LIST_ITEM_VALUE( &( pxCallback->xListItem ), uxIdentifier ); in vDNSSetCallBack()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_DNS_Callback.h | 60 TickType_t uxIdentifier,
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName/ |
| D | DNSgetHostByName_harness.c | 38 TickType_t uxIdentifier,
171 TickType_t uxIdentifier, in __CPROVER_file_local_FreeRTOS_DNS_c_prvCreateDNSMessage() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName_a/ |
| D | DNSgetHostByName_a_harness.c | 74 TickType_t uxIdentifier, in __CPROVER_file_local_FreeRTOS_DNS_c_prvCreateDNSMessage() argument
|
