VMCB_CET
(unlikely(new_vmcb12 || vmcb12_is_dirty(control, VMCB_CET)))) {
vmcb_mark_dirty(vmcb02, VMCB_CET);
vmcb_mark_dirty(svm->vmcb01.ptr, VMCB_CET);
vmcb_mark_dirty(svm->vmcb01.ptr, VMCB_CET);
vmcb_mark_dirty(svm->vmcb01.ptr, VMCB_CET);
(1U << VMCB_LBR) | (1U << VMCB_AVIC) | (1U << VMCB_CET) | \