Lines Matching refs:eventinj
985 VERIFY((ctrl->eventinj & VMCB_EVENTINJ_VALID) != 0 || in svm_enable_intr_window_exiting()
1095 ctrl->eventinj = VMCB_EVENTINJ_VALID | type | vector; in svm_inject_event()
1097 ctrl->eventinj |= VMCB_EVENTINJ_EC_VALID; in svm_inject_event()
1098 ctrl->eventinj |= (uint64_t)VM_INTINFO_ERRCODE(info) << 32; in svm_inject_event()
1109 ctrl->eventinj = VMCB_EVENTINJ_VALID | VMCB_EVENTINJ_TYPE_NMI; in svm_inject_nmi()
1129 ctrl->eventinj = VMCB_EVENTINJ_VALID | vector; in svm_inject_irq()
1330 KASSERT((ctrl->eventinj & VMCB_EVENTINJ_VALID) == 0, ("%s: event " in svm_vmexit()
1331 "injection valid bit is set %lx", __func__, ctrl->eventinj)); in svm_vmexit()
1598 if (ctrl->eventinj & VMCB_EVENTINJ_VALID) { in svm_inject_events()
2559 const uint64_t intinfo = ctrl->eventinj; in svm_pause()
2562 ctrl->eventinj = 0; in svm_pause()