/* Return the thread ID of the current running thread.  */
osThreadId_t osThreadGetId(void)
/* Return the thread ID of the current running thread.  */
osThreadId_t osThreadGetId(void)
{
    thread_id = svcRtxThreadGetId();
  } else {
    thread_id =  __svcThreadGetId();
  }
  return thread_id;
}