VMCB_CR           747 arch/x86/kvm/svm.c 	mark_dirty(to_svm(vcpu)->vmcb, VMCB_CR);
VMCB_CR          2588 arch/x86/kvm/svm.c 	mark_dirty(svm->vmcb, VMCB_CR);
VMCB_CR          2629 arch/x86/kvm/svm.c 	mark_dirty(svm->vmcb, VMCB_CR);
VMCB_CR          2649 arch/x86/kvm/svm.c 	mark_dirty(to_svm(vcpu)->vmcb, VMCB_CR);
VMCB_CR          5878 arch/x86/kvm/svm.c 	mark_dirty(svm->vmcb, VMCB_CR);
VMCB_CR          5890 arch/x86/kvm/svm.c 	mark_dirty(svm->vmcb, VMCB_CR);