Searched refs:vc_vmx_procbased2_ctls (Results 1 – 2 of 2) sorted by relevance
860 uint64_t vc_vmx_procbased2_ctls; member
1985 vcpu->vc_vmx_procbased2_ctls = rdmsr(IA32_VMX_PROCBASED2_CTLS); in vcpu_reset_regs_vmx()2106 ctrlval = vcpu->vc_vmx_procbased2_ctls; in vcpu_reset_regs_vmx()3013 ctl = vcpu->vc_vmx_procbased2_ctls; in vcpu_vmx_check_cap()3033 ctl = vcpu->vc_vmx_procbased2_ctls; in vcpu_vmx_check_cap()6832 vcpu->vc_vmx_procbased2_ctls); in dump_vcpu()