Symbol: vgic_poke_irq
tools/testing/selftests/kvm/lib/arm64/vgic.c
188
vgic_poke_irq(gic_fd, intid, vcpu, GICD_ISPENDR);
tools/testing/selftests/kvm/lib/arm64/vgic.c
193
vgic_poke_irq(gic_fd, intid, vcpu, GICD_ISACTIVER);