Symbol: vgic_has_pending_irq
sys/arm64/vmm/io/vgic.h
46
bool vgic_has_pending_irq(struct hypctx *hypctx);
sys/arm64/vmm/io/vgic_v3.c
2337
DEVMETHOD(vgic_has_pending_irq, vgic_v3_has_pending_irq),
sys/arm64/vmm/vmm.c
888
if (vgic_has_pending_irq(vcpu->cookie))