/* 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)
{
	k_tid_t tid = k_current_get();
	return get_cmsis_thread_id(tid);
}