Symbol: vgic_v3_queue_irq
sys/arm64/vmm/io/vgic_v3.c
2071
notify = vgic_v3_queue_irq(hyp, vgic_cpu, vcpuid, irq);
sys/arm64/vmm/io/vgic_v3.c
771
notify = vgic_v3_queue_irq(hyp, vgic_cpu, target_vcpu,
sys/arm64/vmm/io/vgic_v3.c
848
notify = vgic_v3_queue_irq(hyp, vgic_cpu, target_vcpu,