vcpu_reset
error = vcpu_reset(newcpu);
error = vcpu_reset(bsp);
int vcpu_reset(struct vcpu *vcpu);
if (vcpu_reset(vcpu) != 0) {