Symbol: vgic_v3_irq_pending
sys/arm64/vmm/io/vgic_v3.c
2156
if (!irq->active && vgic_v3_irq_pending(irq)) {
sys/arm64/vmm/io/vgic_v3.c
2237
} else if (!vgic_v3_irq_pending(irq)) {
sys/arm64/vmm/io/vgic_v3.c
723
if (vgic_v3_irq_pending(irq))