140a141,149
> wakeCPU(ThreadContext *tc, uint64_t cpuid)
> {
> System *sys = tc->getSystemPtr();
> ThreadContext *other_tc = sys->threadContexts[cpuid];
> if (other_tc->status() == ThreadContext::Suspended)
> other_tc->activate();
> }
>
> void