/* Get number of available slots for messages in a Message Queue.  */
static uint32_t svcRtxMessageQueueGetSpace(osMessageQueueId_t mq_id)
/* Get number of available slots for messages in a Message Queue.  */
static uint32_t svcRtxMessageQueueGetSpace(osMessageQueueId_t mq_id)
{
    EvrRtxMessageQueueGetSpace(mq, 0U);
    return 0U;
  }
  EvrRtxMessageQueueGetSpace(mq, mq->mp_info.max_blocks - mq->msg_count);
  return (mq->mp_info.max_blocks - mq->msg_count);
}