vm_resume_cpu
vm_resume_cpu(newcpu);
vm_resume_cpu(vcpu);
assert(vm_resume_cpu(vmm->vmm_vcpu[vcpuid]) == 0);
int vm_resume_cpu(struct vcpu *vcpu);
int vm_resume_cpu(struct vm *vm, int vcpu);
error = vm_resume_cpu(sc->vmm_vm, vcpu);