vcpu_writeregs_vmx
ret = vcpu_writeregs_vmx(vcpu, VM_RWREGS_ALL, 0, vrs);
ret = vcpu_writeregs_vmx(vcpu, VM_RWREGS_GPRS, 0,
vcpu_writeregs_vmx(vcpu, vrwp->vrwp_mask, 1, vrs);
int vcpu_writeregs_vmx(struct vcpu *, uint64_t, int, struct vcpu_reg_state *);