/* Wait for one or more Signal Flags to become signaled for the current RUNNING thread.  */
os_InRegs osEvent osSignalWait(int32_t signals, uint32_t millisec)
/* Wait for one or more Signal Flags to become signaled for the current RUNNING thread.  */
os_InRegs osEvent osSignalWait(int32_t signals, uint32_t millisec)
{
    ret.status = osErrorISR;
    return ret;
  }
  return __svcSignalWait(signals, millisec);
}