#include "global.h"
OSId osGetThreadId(OSThread* thread) {
if (thread == NULL) {
thread = __osRunningThread;
}
return thread->id;