Symbol: vgic_v3_inject_irq
sys/arm64/vmm/io/vgic_v3.c
150
static vgic_inject_irq_t vgic_v3_inject_irq;
sys/arm64/vmm/io/vgic_v3.c
156
vgic_v3_inject_irq(NULL, (hyp), (vcpuid), (irqid), (level))
sys/arm64/vmm/io/vgic_v3.c
2338
DEVMETHOD(vgic_inject_irq, vgic_v3_inject_irq),