Searched refs:pCommand (Results 1 – 3 of 3) sorted by relevance
68 MQTTAgentCommand_t * pCommand );101 MQTTAgentCommand_t * pCommand );116 MQTTAgentCommand_t * pCommand,134 MQTTAgentCommand_t * pCommand,209 MQTTAgentCommand_t * pCommand,310 MQTTAgentCommand_t * pCommand ) in addAwaitingOperation() argument317 assert( pCommand != NULL ); in addAwaitingOperation()359 pendingAcks[ unusedPos ].pOriginalCommand = pCommand; in addAwaitingOperation()422 MQTTAgentCommand_t * pCommand ) in createCommand() argument431 assert( pCommand != NULL ); in createCommand()[all …]
32 MQTTAgentCommand_t * pCommand; in AgentGetCommandStub() local34 pCommand = malloc( sizeof( MQTTAgentCommand_t ) ); in AgentGetCommandStub()36 return pCommand; in AgentGetCommandStub()
172 MQTTAgentCommand_t * pCommand; in addPendingAcks() local188 pCommand = malloc( sizeof( MQTTAgentCommand_t ) ); in addPendingAcks()189 __CPROVER_assume( pCommand != NULL ); in addPendingAcks()191 pCommand->commandType = MQTT_PACKET_TYPE_PUBLISH; in addPendingAcks()196 pCommand->pArgs = pPublishInfo; in addPendingAcks()198 pCommand->pCommandCompleteCallback = commandCompleteCallbackStub; in addPendingAcks()200 pContext->pPendingAcks[ i ].pOriginalCommand = pCommand; in addPendingAcks()
