/* Terminate execution of a thread and remove it from ActiveThreads.  */
osStatus osThreadTerminate(osThreadId thread_id)
/* Terminate execution of a thread and remove it from ActiveThreads.  */
osStatus osThreadTerminate(osThreadId thread_id)
{ 
    return osErrorISR;
  }
  return __svcThreadTerminate(thread_id);
}