Searched refs:status (Results 1 – 6 of 6) sorted by relevance
64 MQTTStatus_t status; in MQTT_Init() local80 return status; in MQTT_Init()86 MQTTStatus_t status; in MQTT_ProcessLoop() local155 __CPROVER_assume( ( status >= MQTTSuccess && status <= MQTTKeepAliveTimeout ) ); in MQTT_ProcessLoop()157 return status; in MQTT_ProcessLoop()164 MQTTStatus_t status; in MQTT_Publish() local170 __CPROVER_assume( ( status >= MQTTSuccess && status <= MQTTKeepAliveTimeout ) ); in MQTT_Publish()172 return status; in MQTT_Publish()
77 MQTTStatus_t status = MQTTSuccess; in allocateMqttAgentContext() local113 status = MQTTAgent_Init( pContext, in allocateMqttAgentContext()125 if( status != MQTTSuccess ) in allocateMqttAgentContext()
313 MQTTStatus_t status = MQTTNoMemory; in addAwaitingOperation() local333 status = MQTTSuccess; in addAwaitingOperation()347 status = MQTTStateCollision; in addAwaitingOperation()356 if( status == MQTTSuccess ) in addAwaitingOperation()361 else if( status == MQTTNoMemory ) in addAwaitingOperation()371 return status; in addAwaitingOperation()
233 int status = EXIT_FAILURE;237 status = Queue_SendToBack( pMsgCtx->queue, pCommandToSend, blockTimeMs );239 return ( status == EXIT_SUCCESS );255 int status = EXIT_FAILURE;260 status = Queue_Recv( pMsgCtx->queue, &pReceivedPointer, blockTimeMs );261 if( status == EXIT_SUCCESS )266 return ( status == EXIT_SUCCESS );
842 # at the end of the doxygen process doxygen will return with a non-zero status.
306 MQTTStatus_t status; in MQTT_ProcessLoop_FailSecondAndLaterCallsStub() local316 status = MQTTSuccess; in MQTT_ProcessLoop_FailSecondAndLaterCallsStub()322 status = MQTTRecvFailed; in MQTT_ProcessLoop_FailSecondAndLaterCallsStub()325 return status; in MQTT_ProcessLoop_FailSecondAndLaterCallsStub()
