/* Set the specified Thread Flags of a thread.  */
uint32_t osThreadFlagsSet(osThreadId_t thread_id, uint32_t flags)
/* Set the specified Thread Flags of a thread.  */
uint32_t osThreadFlagsSet(osThreadId_t thread_id, uint32_t flags)
{
    thread_flags = isrRtxThreadFlagsSet(thread_id, flags);
  } else {
    thread_flags =  __svcThreadFlagsSet(thread_id, flags);
  }
  return thread_flags;
}