57a58
> void wakeCPU(ThreadContext *tc, uint64_t cpuid);