/* Get number of available slots for messages in a Message Queue.  */
uint32_t osMessageQueueGetSpace(osMessageQueueId_t mq_id)
/* Get number of available slots for messages in a Message Queue.  */
uint32_t osMessageQueueGetSpace(osMessageQueueId_t mq_id)
{
    space = svcRtxMessageQueueGetSpace(mq_id);
  } else {
    space =  __svcMessageQueueGetSpace(mq_id);
  }
  return space;
}