Symbol: INJECT_IRQ
sys/arm64/vmm/io/vgic_v3.c
1071
INJECT_IRQ(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu), irqid,
sys/arm64/vmm/io/vgic_v3.c
1810
INJECT_IRQ(hyp, target_vcpuid, irqid,
sys/arm64/vmm/io/vgic_v3.c
1823
INJECT_IRQ(hyp, target_vcpuid, irqid, true);
sys/arm64/vmm/io/vgic_v3.c
2100
return (INJECT_IRQ(hyp, -1, msg, true));