Searched refs:v_intercept1 (Results 1 – 2 of 2) sorted by relevance
635 uint32_t v_intercept1; /* 00Ch */ member
1610 vmcb->v_intercept1 = SVM_INTERCEPT_INTR | SVM_INTERCEPT_NMI | in vcpu_reset_regs_svm()4150 vmcb->v_intercept1 &= ~SVM_INTERCEPT_VINTR; in svm_handle_exit()6235 KASSERT(vmcb->v_intercept1 & SVM_INTERCEPT_INTR); in vcpu_run_svm()6288 vmcb->v_intercept1 |= SVM_INTERCEPT_VINTR; in vcpu_run_svm()