VMCB_EVENTINJ_VALID
ctrl->eventinj = VMCB_EVENTINJ_VALID | type | vector;
ctrl->eventinj = VMCB_EVENTINJ_VALID | VMCB_EVENTINJ_TYPE_NMI;
ctrl->eventinj = VMCB_EVENTINJ_VALID | vector;
KASSERT((ctrl->eventinj & VMCB_EVENTINJ_VALID) == 0, ("%s: event "
if (ctrl->eventinj & VMCB_EVENTINJ_VALID) {
if ((intinfo & VMCB_EVENTINJ_VALID) != 0) {
CTASSERT(VMCB_EVENTINJ_VALID == VM_INTINFO_VALID);
VERIFY((ctrl->eventinj & VMCB_EVENTINJ_VALID) != 0 ||