Home
last modified time | relevance | path

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

/CoreMQTT-Agent-v1.1.0/test/cbmc/sources/
Dmqtt_agent_cbmc_state.c76 MQTTAgentMessageInterface_t * pMessageInterface; in allocateMqttAgentContext() local
99 pMessageInterface = malloc( sizeof( MQTTAgentMessageInterface_t ) ); in allocateMqttAgentContext()
101 if( pMessageInterface != NULL ) in allocateMqttAgentContext()
103 pMessageInterface->send = AgentMessageSendStub; in allocateMqttAgentContext()
104 pMessageInterface->recv = AgentMessageRecvStub; in allocateMqttAgentContext()
105 pMessageInterface->getCommand = AgentGetCommandStub; in allocateMqttAgentContext()
106 pMessageInterface->releaseCommand = Agent_ReleaseCommand; in allocateMqttAgentContext()
114 pMessageInterface, in allocateMqttAgentContext()