/* Clear the specified Thread Flags of current running thread.  */
uint32_t osThreadFlagsClear(uint32_t flags)
/* Clear the specified Thread Flags of current running thread.  */
uint32_t osThreadFlagsClear(uint32_t flags)
{
    EvrRtxThreadFlagsError(NULL, (int32_t)osErrorISR);
    thread_flags = (uint32_t)osErrorISR;
  } else {
    thread_flags = __svcThreadFlagsClear(flags);
  }
  return thread_flags;
}