SVM_INTERCEPT_INTR
vmcb->v_intercept1 = SVM_INTERCEPT_INTR | SVM_INTERCEPT_NMI |
KASSERT(vmcb->v_intercept1 & SVM_INTERCEPT_INTR);