/* Get number of queued messages in a Message Queue.  */
static uint32_t svcRtxMessageQueueGetCount(osMessageQueueId_t mq_id)
/* Get number of queued messages in a Message Queue.  */
static uint32_t svcRtxMessageQueueGetCount(osMessageQueueId_t mq_id)
{
    EvrRtxMessageQueueGetCount(mq, 0U);
    return 0U;
  }
  EvrRtxMessageQueueGetCount(mq, mq->msg_count);
  return mq->msg_count;
}