INTERCEPT_VINTR
vmcb_clr_intercept(c, INTERCEPT_VINTR);
if (svm_is_intercept(svm, INTERCEPT_VINTR) &&
!test_bit(INTERCEPT_VINTR, (unsigned long *)svm->nested.ctl.intercepts))
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));