cr4_fixed1         45 arch/x86/kvm/vmx/capabilities.h 	u64 cr4_fixed1;
cr4_fixed1       1334 arch/x86/kvm/vmx/nested.c 		*pdata = msrs->cr4_fixed1;
cr4_fixed1       6016 arch/x86/kvm/vmx/nested.c 	rdmsrl(MSR_IA32_VMX_CR4_FIXED1, msrs->cr4_fixed1);
cr4_fixed1        285 arch/x86/kvm/vmx/nested.h 	u64 fixed1 = to_vmx(vcpu)->nested.msrs.cr4_fixed1;
cr4_fixed1       6944 arch/x86/kvm/vmx/vmx.c 	vmx->nested.msrs.cr4_fixed1 = X86_CR4_PCE;
cr4_fixed1       6948 arch/x86/kvm/vmx/vmx.c 		vmx->nested.msrs.cr4_fixed1 |= (_cr4_mask);	\