vgic_v3_dispatch_sgi  263 arch/arm/kvm/coproc.c 	vgic_v3_dispatch_sgi(vcpu, reg, g1);
vgic_v3_dispatch_sgi  280 arch/arm64/kvm/sys_regs.c 	vgic_v3_dispatch_sgi(vcpu, p->regval, g1);
vgic_v3_dispatch_sgi  368 include/kvm/arm_vgic.h void vgic_v3_dispatch_sgi(struct kvm_vcpu *vcpu, u64 reg, bool allow_group1);