Home
last modified time | relevance | path

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

/CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Init/
HDMQTTAgent_Init_harness.c29 MQTTAgentMessageInterface_t * pMsgInterface; in harness() local
37 pMsgInterface = malloc( sizeof( MQTTAgentMessageInterface_t ) ); in harness()
42 pMsgInterface, in harness()
/CoreMQTT-Agent-v1.1.0/source/
HDcore_mqtt_agent.c947 const MQTTAgentMessageInterface_t * pMsgInterface, in MQTTAgent_Init() argument
957 ( pMsgInterface == NULL ) || in MQTTAgent_Init()
964 else if( ( pMsgInterface->pMsgCtx == NULL ) || in MQTTAgent_Init()
965 ( pMsgInterface->send == NULL ) || in MQTTAgent_Init()
966 ( pMsgInterface->recv == NULL ) || in MQTTAgent_Init()
967 ( pMsgInterface->getCommand == NULL ) || in MQTTAgent_Init()
968 ( pMsgInterface->releaseCommand == NULL ) ) in MQTTAgent_Init()
987 pMqttAgentContext->agentInterface = *pMsgInterface; in MQTTAgent_Init()
/CoreMQTT-Agent-v1.1.0/source/include/
HDcore_mqtt_agent.h320 const MQTTAgentMessageInterface_t * pMsgInterface,