Searched refs:pNetworkBuffer (Results 1 – 6 of 6) sorted by relevance
30 MQTTFixedBuffer_t * pNetworkBuffer; in harness() local38 pNetworkBuffer = malloc( sizeof( MQTTFixedBuffer_t ) ); in harness()43 pNetworkBuffer, in harness()
75 MQTTFixedBuffer_t * pNetworkBuffer; in allocateMqttAgentContext() local96 pNetworkBuffer = allocateMqttFixedBuffer( NULL ); in allocateMqttAgentContext()97 __CPROVER_assume( isValidMqttFixedBuffer( pNetworkBuffer ) ); in allocateMqttAgentContext()115 pNetworkBuffer, in allocateMqttAgentContext()
62 const MQTTFixedBuffer_t * pNetworkBuffer ) in MQTT_Init() argument75 pContext->networkBuffer = *pNetworkBuffer; in MQTT_Init()
321 const MQTTFixedBuffer_t * pNetworkBuffer,
948 const MQTTFixedBuffer_t * pNetworkBuffer, in MQTTAgent_Init() argument981 pNetworkBuffer ); in MQTTAgent_Init()
259 const MQTTFixedBuffer_t * pNetworkBuffer, in MQTT_Init_CustomStub() argument268 pContext->networkBuffer = *pNetworkBuffer; in MQTT_Init_CustomStub()
