Searched refs:vc_vmx_true_pinbased_ctls (Results 1 – 2 of 2) sorted by relevance
857 uint64_t vc_vmx_true_pinbased_ctls; member
1976 vcpu->vc_vmx_true_pinbased_ctls = in vcpu_reset_regs_vmx()2000 ctrlval = vcpu->vc_vmx_true_pinbased_ctls; in vcpu_reset_regs_vmx()3007 ctl = vcpu->vc_vmx_true_pinbased_ctls; in vcpu_vmx_check_cap()6799 vcpu->vc_vmx_true_pinbased_ctls); in dump_vcpu()