Searched refs:cr4_fixed1 (Results 1 – 4 of 4) sorted by relevance
51 u64 cr4_fixed1; member
281 u64 fixed1 = to_vmx(vcpu)->nested.msrs.cr4_fixed1; in nested_cr4_valid()
1490 *pdata = msrs->cr4_fixed1; in vmx_get_vmx_msr()7040 rdmsrl(MSR_IA32_VMX_CR4_FIXED1, msrs->cr4_fixed1); in nested_vmx_setup_cr_fixed()7043 msrs->cr4_fixed1 |= X86_CR4_UMIP; in nested_vmx_setup_cr_fixed()
7670 vmx->nested.msrs.cr4_fixed1 = X86_CR4_PCE; in nested_vmx_cr_fixed1_bits_update()7674 vmx->nested.msrs.cr4_fixed1 |= (_cr4_mask); \ in nested_vmx_cr_fixed1_bits_update()