Home
last modified time | relevance | path

Searched refs:pCommandInfo (Results 1 – 10 of 10) sorted by relevance

/CoreMQTT-Agent-v1.1.0/source/
Dcore_mqtt_agent.c246 const MQTTAgentCommandInfo_t * pCommandInfo );
879 const MQTTAgentCommandInfo_t * pCommandInfo ) in validateStruct() argument
884 ( pCommandInfo == NULL ) ) in validateStruct()
888 ( void * ) pCommandInfo ) ); in validateStruct()
1132 const MQTTAgentCommandInfo_t * pCommandInfo ) in MQTTAgent_Subscribe() argument
1137 paramsValid = validateStruct( pMqttAgentContext, pCommandInfo ) && in MQTTAgent_Subscribe()
1145 … pCommandInfo->cmdCompleteCallback, /* commandCompleteCallback */ in MQTTAgent_Subscribe()
1146 … pCommandInfo->pCmdCompleteCallbackContext, /* pCommandCompleteCallbackContext */ in MQTTAgent_Subscribe()
1147 pCommandInfo->blockTimeMs ); in MQTTAgent_Subscribe()
1157 const MQTTAgentCommandInfo_t * pCommandInfo ) in MQTTAgent_Unsubscribe() argument
[all …]
/CoreMQTT-Agent-v1.1.0/source/include/
Dcore_mqtt_agent.h510 const MQTTAgentCommandInfo_t * pCommandInfo );
570 const MQTTAgentCommandInfo_t * pCommandInfo );
630 const MQTTAgentCommandInfo_t * pCommandInfo );
680 const MQTTAgentCommandInfo_t * pCommandInfo );
736 const MQTTAgentCommandInfo_t * pCommandInfo );
830 const MQTTAgentCommandInfo_t * pCommandInfo );
892 const MQTTAgentCommandInfo_t * pCommandInfo );
955 const MQTTAgentCommandInfo_t * pCommandInfo );
/CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Disconnect/
DMQTTAgent_Disconnect_harness.c31 MQTTAgentCommandInfo_t * pCommandInfo; in harness() local
36 pCommandInfo = malloc( sizeof( MQTTAgentCommandInfo_t ) ); in harness()
39 pCommandInfo ); in harness()
/CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_ProcessLoop/
DMQTTAgent_ProcessLoop_harness.c31 MQTTAgentCommandInfo_t * pCommandInfo; in harness() local
40 pCommandInfo = malloc( sizeof( MQTTAgentCommandInfo_t ) ); in harness()
43 pCommandInfo ); in harness()
/CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Ping/
DMQTTAgent_Ping_harness.c31 MQTTAgentCommandInfo_t * pCommandInfo; in harness() local
40 pCommandInfo = malloc( sizeof( MQTTAgentCommandInfo_t ) ); in harness()
43 pCommandInfo ); in harness()
/CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Terminate/
DMQTTAgent_Terminate_harness.c32 MQTTAgentCommandInfo_t * pCommandInfo; in harness() local
41 pCommandInfo = malloc( sizeof( MQTTAgentCommandInfo_t ) ); in harness()
44 pCommandInfo ); in harness()
/CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Publish/
DMQTTAgent_Publish_harness.c32 MQTTAgentCommandInfo_t * pCommandInfo; in harness() local
43 pCommandInfo = malloc( sizeof( MQTTAgentCommandInfo_t ) ); in harness()
47 pCommandInfo ); in harness()
/CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Unsubscribe/
DMQTTAgent_Unsubscribe_harness.c32 MQTTAgentCommandInfo_t * pCommandInfo; in harness() local
43 pCommandInfo = malloc( sizeof( MQTTAgentCommandInfo_t ) ); in harness()
47 pCommandInfo ); in harness()
/CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Connect/
DMQTTAgent_Connect_harness.c33 MQTTAgentCommandInfo_t * pCommandInfo; in harness() local
40 pCommandInfo = malloc( sizeof( MQTTAgentCommandInfo_t ) ); in harness()
44 pCommandInfo ); in harness()
/CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Subscribe/
DMQTTAgent_Subscribe_harness.c32 MQTTAgentCommandInfo_t * pCommandInfo; in harness() local
43 pCommandInfo = malloc( sizeof( MQTTAgentCommandInfo_t ) ); in harness()
47 pCommandInfo ); in harness()