INTERCEPT_SMI
vmcb_clr_intercept(c, INTERCEPT_SMI);
svm_set_intercept(svm, INTERCEPT_SMI);
return vmcb12_is_intercept(&svm->nested.ctl, INTERCEPT_SMI);