VMCB_DR
if (unlikely(new_vmcb12 || vmcb_is_dirty(vmcb12, VMCB_DR))) {
vmcb_mark_dirty(vmcb02, VMCB_DR);
vmcb_mark_dirty(vmcb, VMCB_DR);
vmcb_mark_dirty(svm->vmcb, VMCB_DR);
(1U << VMCB_NPT) | (1U << VMCB_CR) | (1U << VMCB_DR) | \