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);