/* Set the specified Thread Flags of a thread.  */
__STATIC_INLINE uint32_t isrRtxThreadFlagsSet(osThreadId_t thread_id, uint32_t flags)
/* Set the specified Thread Flags of a thread.  */
__STATIC_INLINE uint32_t isrRtxThreadFlagsSet(osThreadId_t thread_id, uint32_t flags)
{
    EvrRtxThreadFlagsError(thread, (int32_t)osErrorParameter);
    return ((uint32_t)osErrorParameter);
  }
  if (thread->state == osRtxThreadTerminated) {
    EvrRtxThreadFlagsError(thread, (int32_t)osErrorResource);
    return ((uint32_t)osErrorResource);
  }
  thread_flags = ThreadFlagsSet(thread, flags);
  osRtxPostProcess(osRtxObject(thread));
  EvrRtxThreadFlagsSetDone(thread, thread_flags);
  return thread_flags;
}