Searched refs:VMCB_EVENTINJ_VALID (Results 1 – 2 of 2) sorted by relevance
120 #define VMCB_EVENTINJ_VALID BIT(31) /* Event valid */ macro
938 KASSERT((ctrl->eventinj & VMCB_EVENTINJ_VALID) == 0, in svm_eventinject()957 ctrl->eventinj = vector | (intr_type << 8) | VMCB_EVENTINJ_VALID; in svm_eventinject()1360 KASSERT((ctrl->eventinj & VMCB_EVENTINJ_VALID) == 0, ("%s: event " in svm_vmexit()1658 } else if (ctrl->eventinj & VMCB_EVENTINJ_VALID) { in svm_inj_interrupts()1722 if (ctrl->eventinj & VMCB_EVENTINJ_VALID) { in svm_inj_interrupts()1776 KASSERT((ctrl->eventinj & VMCB_EVENTINJ_VALID) != 0 || in svm_inj_interrupts()