/* Wait for one or more Thread Flags of the current running thread to become signaled.  */
uint32_t osThreadFlagsWait(uint32_t flags, uint32_t options, uint32_t timeout)
/* Wait for one or more Thread Flags of the current running thread to become signaled.  */
uint32_t osThreadFlagsWait(uint32_t flags, uint32_t options, uint32_t timeout)
{
    EvrRtxThreadFlagsError(NULL, (int32_t)osErrorISR);
    thread_flags = (uint32_t)osErrorISR;
  } else {
    thread_flags = __svcThreadFlagsWait(flags, options, timeout);
  }
  return thread_flags;
}