Symbol: __vgic_put_irq
arch/arm64/kvm/vgic/vgic.c
134
if (!__vgic_put_irq(kvm, irq))
arch/arm64/kvm/vgic/vgic.c
155
if (!__vgic_put_irq(kvm, irq))