/* Get maximum number of messages in a Message Queue.  */
uint32_t osMessageQueueGetCapacity(osMessageQueueId_t mq_id)
/* Get maximum number of messages in a Message Queue.  */
uint32_t osMessageQueueGetCapacity(osMessageQueueId_t mq_id)
{
    capacity = svcRtxMessageQueueGetCapacity(mq_id);
  } else {
    capacity =  __svcMessageQueueGetCapacity(mq_id);
  }
  return capacity;
}