Searched refs:cr4_fixed1 (Results 1 – 4 of 4) sorted by relevance
47 u64 cr4_fixed1; member
281 u64 fixed1 = to_vmx(vcpu)->nested.msrs.cr4_fixed1; in nested_cr4_valid()
1523 *pdata = msrs->cr4_fixed1; in vmx_get_vmx_msr()6613 rdmsrl(MSR_IA32_VMX_CR4_FIXED1, msrs->cr4_fixed1); in nested_vmx_setup_ctls_msrs()
7243 vmx->nested.msrs.cr4_fixed1 = X86_CR4_PCE; in nested_vmx_cr_fixed1_bits_update()7247 vmx->nested.msrs.cr4_fixed1 |= (_cr4_mask); \ in nested_vmx_cr_fixed1_bits_update()