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