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