Home
last modified time | relevance | path

Searched refs:pMqttContext (Results 1 – 2 of 2) sorted by relevance

/CoreMQTT-Agent-v1.1.0/test/cbmc/stubs/
Dcore_mqtt_stubs.c175 uint16_t MQTT_PublishToResend( const MQTTContext_t * pMqttContext, in MQTT_PublishToResend() argument
181 __CPROVER_assert( pMqttContext != NULL, in MQTT_PublishToResend()
/CoreMQTT-Agent-v1.1.0/source/
Dcore_mqtt_agent.c145 static void mqttEventCallback( MQTTContext_t * pMqttContext,
631 static void mqttEventCallback( MQTTContext_t * pMqttContext, in mqttEventCallback() argument
640 assert( pMqttContext != NULL ); in mqttEventCallback()
643 pAgentContext = getAgentFromMQTTContext( pMqttContext ); in mqttEventCallback()
802 MQTTContext_t * pMqttContext; in resendPublishes() local
805 pMqttContext = &( pMqttAgentContext->mqttContext ); in resendPublishes()
807 packetId = MQTT_PublishToResend( pMqttContext, &cursor ); in resendPublishes()
819 statusResult = MQTT_Publish( pMqttContext, pOriginalPublish, packetId ); in resendPublishes()
830 packetId = MQTT_PublishToResend( pMqttContext, &cursor ); in resendPublishes()