VMCB_EVENTINJ_VALID
KASSERT((ctrl->eventinj & VMCB_EVENTINJ_VALID) == 0, ("%s: event "
} else if (ctrl->eventinj & VMCB_EVENTINJ_VALID) {
if (ctrl->eventinj & VMCB_EVENTINJ_VALID) {
KASSERT((ctrl->eventinj & VMCB_EVENTINJ_VALID) != 0 ||
KASSERT((ctrl->eventinj & VMCB_EVENTINJ_VALID) == 0,
ctrl->eventinj = vector | (intr_type << 8) | VMCB_EVENTINJ_VALID;