/* Create a thread and add it to Active Threads and set it to state READY.  */
osThreadId osThreadCreate(const osThreadDef_t *thread_def, void *argument)
/* Create a thread and add it to Active Threads and set it to state READY.  */
osThreadId osThreadCreate(const osThreadDef_t *thread_def, void *argument)
{
    return   svcThreadCreate(thread_def, argument);
  } else {
    return __svcThreadCreate(thread_def, argument);
  }
}