Lines Matching full:msr
6 #include <asm/msr-index.h>
47 /* All 64 bits of tertiary controls MSR are allowed-1 settings. */ in init_vmx_capabilities()
57 * MSR, low for EPT, high for VPID. in init_vmx_capabilities()
117 u64 msr; in init_ia32_feat_ctl() local
119 if (rdmsrl_safe(MSR_IA32_FEAT_CTL, &msr)) { in init_ia32_feat_ctl()
139 if (msr & FEAT_CTL_LOCKED) in init_ia32_feat_ctl()
143 * Ignore whatever value BIOS left in the MSR to avoid enabling random in init_ia32_feat_ctl()
146 msr = FEAT_CTL_LOCKED; in init_ia32_feat_ctl()
154 msr |= FEAT_CTL_VMX_ENABLED_OUTSIDE_SMX; in init_ia32_feat_ctl()
157 msr |= FEAT_CTL_VMX_ENABLED_INSIDE_SMX; in init_ia32_feat_ctl()
161 msr |= FEAT_CTL_SGX_ENABLED; in init_ia32_feat_ctl()
163 msr |= FEAT_CTL_SGX_LC_ENABLED; in init_ia32_feat_ctl()
166 wrmsrl(MSR_IA32_FEAT_CTL, msr); in init_ia32_feat_ctl()
174 if ( (tboot && !(msr & FEAT_CTL_VMX_ENABLED_INSIDE_SMX)) || in init_ia32_feat_ctl()
175 (!tboot && !(msr & FEAT_CTL_VMX_ENABLED_OUTSIDE_SMX))) { in init_ia32_feat_ctl()
187 if (!(msr & FEAT_CTL_SGX_ENABLED)) { in init_ia32_feat_ctl()
203 if (!(msr & FEAT_CTL_SGX_LC_ENABLED) && enable_sgx_driver) { in init_ia32_feat_ctl()