Method getThreadUserTime

source/kernel/kthread.cpp:1538–1544

}

U64 KThread::getThreadUserTime() {
#ifdef BOXEDWINE_MULTI_THREADED
    return KSystem::getMicroCounter() - threadStartTime - kernelTime;
#else
    return userTime;
#endif
}

std::shared_ptr<KThreadGlContext> KThread::getGlContextById(U32 id) {
    return this->glContext[id];