VMCB_DT          2548 arch/x86/kvm/svm.c 	mark_dirty(svm->vmcb, VMCB_DT);
VMCB_DT          2565 arch/x86/kvm/svm.c 	mark_dirty(svm->vmcb, VMCB_DT);