vcpu_thread_ctx
struct vcpu_thread_ctx vcpu0 = {
struct vcpu_thread_ctx *vtc = arg;
vcpu0_spawn(struct vcpu_thread_ctx *vtc)