Searched refs:msr_ia32_feature_control (Results 1 – 4 of 4) sorted by relevance
366 return (to_vmx(vcpu)->msr_ia32_feature_control & bits) == bits; in sgx_enabled_in_guest_bios()
361 u64 msr_ia32_feature_control; member
1921 !(vmx->msr_ia32_feature_control & in vmx_get_msr()1927 msr_info->data = vmx->msr_ia32_feature_control; in vmx_get_msr()2237 !(to_vmx(vcpu)->msr_ia32_feature_control & in vmx_set_msr()2245 (to_vmx(vcpu)->msr_ia32_feature_control & in vmx_set_msr()2248 vmx->msr_ia32_feature_control = data; in vmx_set_msr()2269 ((vmx->msr_ia32_feature_control & FEAT_CTL_LOCKED) && in vmx_set_msr()2270 !(vmx->msr_ia32_feature_control & FEAT_CTL_SGX_LC_ENABLED)))) in vmx_set_msr()
5130 if ((vmx->msr_ia32_feature_control & VMXON_NEEDED_FEATURES) in handle_vmxon()