/* Get a Message or Wait for a Message from a Queue.  */
os_InRegs osEvent isrMessageGet(osMessageQId queue_id, uint32_t millisec)
/* Get a Message or Wait for a Message from a Queue.  */
os_InRegs osEvent isrMessageGet(osMessageQId queue_id, uint32_t millisec)
{
    ret.status = osErrorParameter;
    return ret;
  }
  if (((P_MCB)queue_id)->cb_type != MCB) {
    ret.status = osErrorParameter;
    return ret;
  }
  res = isr_mbx_receive(queue_id, &ret.value.p);
  if (res != OS_R_MBX) {
    ret.status = osOK;
    return ret;
  }
  ret.status = osEventMessage; 
  return ret;
}