INJECT_IRQ
INJECT_IRQ(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu), irqid,
INJECT_IRQ(hyp, target_vcpuid, irqid,
INJECT_IRQ(hyp, target_vcpuid, irqid, true);
return (INJECT_IRQ(hyp, -1, msg, true));