/* Get the current Thread Flags of current running thread.  */
uint32_t osThreadFlagsGet(void)
/* Get the current Thread Flags of current running thread.  */
uint32_t osThreadFlagsGet(void)
{
    EvrRtxThreadFlagsGet(0U);
    thread_flags = 0U;
  } else {
    thread_flags = __svcThreadFlagsGet();
  }
  return thread_flags;
}