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