Home
last modified time | relevance | path

Searched refs:packetIdentifier (Results 1 – 3 of 3) sorted by relevance

/CoreMQTT-Agent-v1.1.0/source/
HDcore_mqtt_agent.c636 uint16_t packetIdentifier = pDeserializedInfo->packetIdentifier; in mqttEventCallback() local
655 …pAgentContext->pIncomingCallback( pAgentContext, packetIdentifier, pDeserializedInfo->pPublishInfo… in mqttEventCallback()
666 pAckInfo = getAwaitingOperation( pAgentContext, packetIdentifier ); in mqttEventCallback()
680 LogError( ( "No operation found matching packet id %u.\n", packetIdentifier ) ); in mqttEventCallback()
/CoreMQTT-Agent-v1.1.0/test/unit-test/
HDmqtt_agent_utest.c94 static uint16_t packetIdentifier; variable
117 packetIdentifier = 1U; in setUp()
288 deserializedInfo.packetIdentifier = packetIdentifier; in MQTT_ProcessLoop_CustomStub()
311 deserializedInfo.packetIdentifier = packetIdentifier; in MQTT_ProcessLoop_FailSecondAndLaterCallsStub()
1523 packetIdentifier = 0U; in test_MQTTAgent_CommandLoop_with_eventCallback()
1540 packetIdentifier = 1U; in test_MQTTAgent_CommandLoop_with_eventCallback()
/CoreMQTT-Agent-v1.1.0/test/cbmc/stubs/
HDcore_mqtt_stubs.c145 __CPROVER_assume( pDeserializedInfo->packetIdentifier > MQTT_PACKET_ID_INVALID ); in MQTT_ProcessLoop()