Searched refs:cr4_fixed1 (Results 1 – 1 of 1) sorted by relevance
800 u64 cr4_fixed1; member3700 rdmsrl(MSR_IA32_VMX_CR4_FIXED1, msrs->cr4_fixed1); in nested_vmx_setup_ctls_msrs()4014 *pdata = msrs->cr4_fixed1; in vmx_get_vmx_msr()5223 u64 fixed1 = to_vmx(vcpu)->nested.msrs.cr4_fixed1; in nested_cr4_valid()11225 vmx->nested.msrs.cr4_fixed1 = X86_CR4_PCE; in nested_vmx_cr_fixed1_bits_update()11229 vmx->nested.msrs.cr4_fixed1 |= (_cr4_mask); \ in nested_vmx_cr_fixed1_bits_update()
