old_cr4          2636 arch/x86/kvm/svm.c 	unsigned long old_cr4 = to_svm(vcpu)->vmcb->save.cr4;
old_cr4          2641 arch/x86/kvm/svm.c 	if (npt_enabled && ((old_cr4 ^ cr4) & X86_CR4_PGE))
old_cr4           973 arch/x86/kvm/x86.c 	unsigned long old_cr4 = kvm_read_cr4(vcpu);
old_cr4           984 arch/x86/kvm/x86.c 		   && ((cr4 ^ old_cr4) & pdptr_bits)
old_cr4           989 arch/x86/kvm/x86.c 	if ((cr4 & X86_CR4_PCIDE) && !(old_cr4 & X86_CR4_PCIDE)) {
old_cr4          1001 arch/x86/kvm/x86.c 	if (((cr4 ^ old_cr4) & pdptr_bits) ||
old_cr4          1002 arch/x86/kvm/x86.c 	    (!(cr4 & X86_CR4_PCIDE) && (old_cr4 & X86_CR4_PCIDE)))
old_cr4          1005 arch/x86/kvm/x86.c 	if ((cr4 ^ old_cr4) & (X86_CR4_OSXSAVE | X86_CR4_PKE))