#include <global.h>

OSThread* __osGetActiveQueue() {
    return __osActiveQueue;
}