/* Return the thread ID of the current running thread.  */
osThreadId osThreadGetId(void)
/* Return the thread ID of the current running thread.  */
osThreadId osThreadGetId(void)
{
    return NULL;
  }
  return __svcThreadGetId();
}