/* Get a Message or Wait for a Message from a Queue.  */
os_InRegs osEvent osMessageGet(osMessageQId queue_id, uint32_t millisec)
/* Get a Message or Wait for a Message from a Queue.  */
os_InRegs osEvent osMessageGet(osMessageQId queue_id, uint32_t millisec)
{
    return   isrMessageGet(queue_id, millisec);
  } else {
    return __svcMessageGet(queue_id, millisec);
  }
}