vcpu_readregs_svm
if (vcpu_readregs_svm(vcpu, VM_RWREGS_ALL, &vrs))
vcpu_readregs_svm(vcpu, vrwp->vrwp_mask, vrs) :
if (vcpu_readregs_svm(vcpu, VM_RWREGS_ALL, &vcpu->vc_exit.vrs))
int vcpu_readregs_svm(struct vcpu *, uint64_t, struct vcpu_reg_state *);