VMCB_DR          2721 arch/x86/kvm/svm.c 	mark_dirty(svm->vmcb, VMCB_DR);
VMCB_DR          2744 arch/x86/kvm/svm.c 	mark_dirty(svm->vmcb, VMCB_DR);