/* Get maximum message size in a Memory Pool.  */
uint32_t osMessageQueueGetMsgSize(osMessageQueueId_t mq_id)
/* Get maximum message size in a Memory Pool.  */
uint32_t osMessageQueueGetMsgSize(osMessageQueueId_t mq_id)
{
    msg_size = svcRtxMessageQueueGetMsgSize(mq_id);
  } else {
    msg_size =  __svcMessageQueueGetMsgSize(mq_id);
  }
  return msg_size;
}