Searched refs:VMCB_EVENTINJ_VALID (Results 1 – 2 of 2) sorted by relevance
914 CTASSERT(VMCB_EVENTINJ_VALID == VM_INTINFO_VALID);988 VERIFY((ctrl->eventinj & VMCB_EVENTINJ_VALID) != 0 || in svm_enable_intr_window_exiting()1098 ctrl->eventinj = VMCB_EVENTINJ_VALID | type | vector; in svm_inject_event()1112 ctrl->eventinj = VMCB_EVENTINJ_VALID | VMCB_EVENTINJ_TYPE_NMI; in svm_inject_nmi()1132 ctrl->eventinj = VMCB_EVENTINJ_VALID | vector; in svm_inject_irq()1333 KASSERT((ctrl->eventinj & VMCB_EVENTINJ_VALID) == 0, ("%s: event " in svm_vmexit()1601 if (ctrl->eventinj & VMCB_EVENTINJ_VALID) { in svm_inject_events()2563 if ((intinfo & VMCB_EVENTINJ_VALID) != 0) { in svm_pause()
136 #define VMCB_EVENTINJ_VALID BIT(31) /* Event valid */ macro