Symbol: vgic_v3_dispatch_sgi
arch/arm64/kvm/sys_regs.c
645
vgic_v3_dispatch_sgi(vcpu, p->regval, g1);
include/kvm/arm_vgic.h
426
void vgic_v3_dispatch_sgi(struct kvm_vcpu *vcpu, u64 reg, bool allow_group1);