/* Get number of queued messages in a Message Queue.  */
uint32_t osMessageQueueGetCount(osMessageQueueId_t mq_id)
/* Get number of queued messages in a Message Queue.  */
uint32_t osMessageQueueGetCount(osMessageQueueId_t mq_id)
{
    count = svcRtxMessageQueueGetCount(mq_id);
  } else {
    count =  __svcMessageQueueGetCount(mq_id);
  }
  return count;
}