/* Clear the specified Thread Flags of current running thread.  */
static uint32_t svcRtxThreadFlagsClear(uint32_t flags)
/* Clear the specified Thread Flags of current running thread.  */
static uint32_t svcRtxThreadFlagsClear(uint32_t flags)
{
    EvrRtxThreadFlagsError(NULL, osRtxErrorKernelNotRunning);
    return ((uint32_t)osError);
  }
  if ((flags & ~(((uint32_t)1U << osRtxThreadFlagsLimit) - 1U)) != 0U) {
    EvrRtxThreadFlagsError(thread, (int32_t)osErrorParameter);
    return ((uint32_t)osErrorParameter);
  }
  thread_flags = ThreadFlagsClear(thread, flags);
  EvrRtxThreadFlagsClearDone(thread_flags);
  return thread_flags;
}