/* Return the thread ID of the current running thread.  */
osThreadId svcThreadGetId(void)
/* Return the thread ID of the current running thread.  */
osThreadId svcThreadGetId(void)
{ return NULL; }
  return (P_TCB)os_active_TCB[tsk - 1U];
}