Searched refs:VMCB_EVENTINJ_VALID (Results 1 – 2 of 2) sorted by relevance
929 CTASSERT(VMCB_EVENTINJ_VALID == VM_INTINFO_VALID);1003 VERIFY((ctrl->eventinj & VMCB_EVENTINJ_VALID) != 0 || in svm_enable_intr_window_exiting()1113 ctrl->eventinj = VMCB_EVENTINJ_VALID | type | vector; in svm_inject_event()1127 ctrl->eventinj = VMCB_EVENTINJ_VALID | VMCB_EVENTINJ_TYPE_NMI; in svm_inject_nmi()1147 ctrl->eventinj = VMCB_EVENTINJ_VALID | vector; in svm_inject_irq()1328 KASSERT((ctrl->eventinj & VMCB_EVENTINJ_VALID) == 0, ("%s: event " in svm_vmexit()1592 if (ctrl->eventinj & VMCB_EVENTINJ_VALID) { in svm_inject_events()2555 if ((intinfo & VMCB_EVENTINJ_VALID) != 0) { in svm_pause()
133 #define VMCB_EVENTINJ_VALID BIT(31) /* Event valid */ macro