Searched refs:pDeserializedInfo (Results 1 – 2 of 2) sorted by relevance
88 MQTTDeserializedInfo_t * pDeserializedInfo; in MQTT_ProcessLoop() local125 pDeserializedInfo = malloc( sizeof( MQTTDeserializedInfo_t ) ); in MQTT_ProcessLoop()126 __CPROVER_assume( pDeserializedInfo != NULL ); in MQTT_ProcessLoop()142 pDeserializedInfo->pPublishInfo = pPublishInfo; in MQTT_ProcessLoop()145 __CPROVER_assume( pDeserializedInfo->packetIdentifier > MQTT_PACKET_ID_INVALID ); in MQTT_ProcessLoop()150 pDeserializedInfo ); in MQTT_ProcessLoop()
147 MQTTDeserializedInfo_t * pDeserializedInfo );163 const MQTTDeserializedInfo_t * pDeserializedInfo,599 const MQTTDeserializedInfo_t * pDeserializedInfo, in handleAcks() argument613 pDeserializedInfo->deserializationResult, in handleAcks()633 MQTTDeserializedInfo_t * pDeserializedInfo ) in mqttEventCallback() argument636 uint16_t packetIdentifier = pDeserializedInfo->packetIdentifier; in mqttEventCallback()655 …pAgentContext->pIncomingCallback( pAgentContext, packetIdentifier, pDeserializedInfo->pPublishInfo… in mqttEventCallback()674 pDeserializedInfo, in mqttEventCallback()
