/* Return the thread ID of the current running thread.  */
osThreadId osThreadGetId(void)
/* Return the thread ID of the current running thread.  */
osThreadId osThreadGetId(void)
{
		if (g_threads[index].handle == handle) {
			return (osThreadId)&g_threads[index];
		}
	}
	return NULL;
}