VMCB_DT
if (unlikely(new_vmcb12 || vmcb_is_dirty(vmcb12, VMCB_DT))) {
vmcb_mark_dirty(vmcb02, VMCB_DT);
vmcb_mark_dirty(svm->vmcb, VMCB_DT);
vmcb_mark_dirty(svm->vmcb, VMCB_DT);
(1U << VMCB_DT) | (1U << VMCB_SEG) | (1U << VMCB_CR2) | \