Searched refs:pSubscriptionArgs (Results 1 – 4 of 4) sorted by relevance
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Unsubscribe/ |
| HD | MQTTAgent_Unsubscribe_harness.c | 31 MQTTAgentSubscribeArgs_t * pSubscriptionArgs; in harness() local
42 pSubscriptionArgs = malloc( sizeof( MQTTAgentSubscribeArgs_t ) ); in harness()
46 pSubscriptionArgs, in harness()
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Subscribe/ |
| HD | MQTTAgent_Subscribe_harness.c | 31 MQTTAgentSubscribeArgs_t * pSubscriptionArgs; in harness() local
42 pSubscriptionArgs = malloc( sizeof( MQTTAgentSubscribeArgs_t ) ); in harness()
46 pSubscriptionArgs, in harness()
|
| /CoreMQTT-Agent-v1.1.0/source/include/ |
| HD | core_mqtt_agent.h | 509 MQTTAgentSubscribeArgs_t * pSubscriptionArgs,
569 MQTTAgentSubscribeArgs_t * pSubscriptionArgs,
|
| /CoreMQTT-Agent-v1.1.0/source/ |
| HD | core_mqtt_agent.c | 1131 MQTTAgentSubscribeArgs_t * pSubscriptionArgs, in MQTTAgent_Subscribe() argument
1138 validateParams( SUBSCRIBE, pSubscriptionArgs ); in MQTTAgent_Subscribe()
1144 … pSubscriptionArgs, /* pMqttInfoParam */ in MQTTAgent_Subscribe()
1156 MQTTAgentSubscribeArgs_t * pSubscriptionArgs, in MQTTAgent_Unsubscribe() argument
1163 validateParams( UNSUBSCRIBE, pSubscriptionArgs ); in MQTTAgent_Unsubscribe()
1169 … pSubscriptionArgs, /* pMqttInfoParam */ in MQTTAgent_Unsubscribe()
|
