Home
last modified time | relevance | path

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

/CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_ResumeSession/
HDREADME.md9 * clearPendingAcknowledgments()
/CoreMQTT-Agent-v1.1.0/source/
HDcore_mqtt_agent.c233 static void clearPendingAcknowledgments( MQTTAgentContext_t * pMqttAgentContext,
838 static void clearPendingAcknowledgments( MQTTAgentContext_t * pMqttAgentContext, in clearPendingAcknowledgments() function
1057 clearPendingAcknowledgments( pMqttAgentContext, true ); in MQTTAgent_ResumeSession()
1068 clearPendingAcknowledgments( pMqttAgentContext, false ); in MQTTAgent_ResumeSession()