Searched refs:msr_ia32_feature_control_valid_bits (Results 1 – 2 of 2) sorted by relevance
362 u64 msr_ia32_feature_control_valid_bits; member
1840 uint64_t valid_bits = to_vmx(vcpu)->msr_ia32_feature_control_valid_bits; in vmx_feature_control_msr_valid()4720 vmx->msr_ia32_feature_control_valid_bits = FEAT_CTL_LOCKED; in __vmx_vcpu_reset()7621 vmx->msr_ia32_feature_control_valid_bits |= in vmx_vcpu_after_set_cpuid()7625 vmx->msr_ia32_feature_control_valid_bits &= in vmx_vcpu_after_set_cpuid()7654 vmx->msr_ia32_feature_control_valid_bits |= FEAT_CTL_SGX_ENABLED; in vmx_vcpu_after_set_cpuid()7656 vmx->msr_ia32_feature_control_valid_bits &= ~FEAT_CTL_SGX_ENABLED; in vmx_vcpu_after_set_cpuid()7659 vmx->msr_ia32_feature_control_valid_bits |= in vmx_vcpu_after_set_cpuid()7662 vmx->msr_ia32_feature_control_valid_bits &= in vmx_vcpu_after_set_cpuid()7899 to_vmx(vcpu)->msr_ia32_feature_control_valid_bits |= in vmx_setup_mce()7902 to_vmx(vcpu)->msr_ia32_feature_control_valid_bits &= in vmx_setup_mce()