vcpu_reset_regs
int vcpu_reset_regs(struct vcpu *, struct vcpu_reg_state *);
if (vcpu_reset_regs(vcpu, &vrp->vrp_init_state)) {