INTERCEPT_VINTR
vmcb_clr_intercept(&vmcb02->control, INTERCEPT_VINTR);
if (svm_is_intercept(svm, INTERCEPT_VINTR) &&
!vmcb12_is_intercept(&svm->nested.ctl, INTERCEPT_VINTR))
svm_set_intercept(svm, INTERCEPT_VINTR);
if (!svm_is_intercept(svm, INTERCEPT_VINTR))
svm_clr_intercept(svm, INTERCEPT_VINTR);
if (svm_is_intercept(svm, INTERCEPT_VINTR))
vmcb->control.intercept &= ~(BIT(INTERCEPT_INTR) | BIT(INTERCEPT_VINTR));