Searched refs:cr4_fixed1 (Results 1 – 4 of 4) sorted by relevance
47 u64 cr4_fixed1; member
306 u64 fixed1 = to_vmx(vcpu)->nested.msrs.cr4_fixed1; in nested_cr4_valid()
1596 *pdata = msrs->cr4_fixed1; in vmx_get_vmx_msr()7329 rdmsrq(MSR_IA32_VMX_CR4_FIXED1, msrs->cr4_fixed1); in nested_vmx_setup_cr_fixed()7332 msrs->cr4_fixed1 |= X86_CR4_UMIP; in nested_vmx_setup_cr_fixed()
7964 vmx->nested.msrs.cr4_fixed1 = X86_CR4_PCE; in nested_vmx_cr_fixed1_bits_update()7968 vmx->nested.msrs.cr4_fixed1 |= (_cr4_mask); \ in nested_vmx_cr_fixed1_bits_update()