Searched refs:VMCB_EVENTINJ_VALID (Results 1 – 2 of 2) sorted by relevance
949 KASSERT((ctrl->eventinj & VMCB_EVENTINJ_VALID) == 0, in svm_eventinject()968 ctrl->eventinj = vector | (intr_type << 8) | VMCB_EVENTINJ_VALID; in svm_eventinject()1371 KASSERT((ctrl->eventinj & VMCB_EVENTINJ_VALID) == 0, ("%s: event " in svm_vmexit()1781 } else if (ctrl->eventinj & VMCB_EVENTINJ_VALID) { in svm_inj_interrupts()1845 if (ctrl->eventinj & VMCB_EVENTINJ_VALID) { in svm_inj_interrupts()1899 KASSERT((ctrl->eventinj & VMCB_EVENTINJ_VALID) != 0 || in svm_inj_interrupts()
118 #define VMCB_EVENTINJ_VALID BIT(31) /* Event valid */ macro