Symbol: vgic_release_lpi_locked
arch/arm64/kvm/vgic/vgic.c
159
vgic_release_lpi_locked(dist, irq);
arch/arm64/kvm/vgic/vgic.c
173
vgic_release_lpi_locked(dist, irq);