Searched refs:pPacketInfo (Results 1 – 2 of 2) sorted by relevance
87 MQTTPacketInfo_t * pPacketInfo; in MQTT_ProcessLoop() local110 pPacketInfo = malloc( sizeof( MQTTPacketInfo_t ) ); in MQTT_ProcessLoop()111 __CPROVER_assume( pPacketInfo != NULL ); in MQTT_ProcessLoop()112 __CPROVER_assume( isValidIncomingMqttPacket( pPacketInfo->type ) ); in MQTT_ProcessLoop()116 if( pPacketInfo->type == MQTT_PACKET_TYPE_SUBACK ) in MQTT_ProcessLoop()121 pPacketInfo->pRemainingData = malloc( remainingLength ); in MQTT_ProcessLoop()122 __CPROVER_assume( pPacketInfo->pRemainingData != NULL ); in MQTT_ProcessLoop()123 pPacketInfo->remainingLength = remainingLength; in MQTT_ProcessLoop()128 if( pPacketInfo->type == MQTT_PACKET_TYPE_PUBLISH ) in MQTT_ProcessLoop()149 pPacketInfo, in MQTT_ProcessLoop()
146 MQTTPacketInfo_t * pPacketInfo,162 const MQTTPacketInfo_t * pPacketInfo,598 const MQTTPacketInfo_t * pPacketInfo, in handleAcks() argument609 …pSubackCodes = ( packetType == MQTT_PACKET_TYPE_SUBACK ) ? ( pPacketInfo->pRemainingData + 2U ) : … in handleAcks()632 MQTTPacketInfo_t * pPacketInfo, in mqttEventCallback() argument641 assert( pPacketInfo != NULL ); in mqttEventCallback()653 if( ( pPacketInfo->type & upperNibble ) == MQTT_PACKET_TYPE_PUBLISH ) in mqttEventCallback()660 switch( pPacketInfo->type ) in mqttEventCallback()673 pPacketInfo, in mqttEventCallback()676 pPacketInfo->type ); in mqttEventCallback()[all …]
