/* Get the current Thread Flags of current running thread.  */
static uint32_t svcRtxThreadFlagsGet(void)
/* Get the current Thread Flags of current running thread.  */
static uint32_t svcRtxThreadFlagsGet(void)
{
    EvrRtxThreadFlagsGet(0U);
    return 0U;
  }
  EvrRtxThreadFlagsGet(thread->thread_flags);
  return thread->thread_flags;
}