is_vgic_v2_sgi    233 virt/kvm/arm/vgic/vgic-mmio.c 		if (is_vgic_v2_sgi(vcpu, irq)) {
is_vgic_v2_sgi    286 virt/kvm/arm/vgic/vgic-mmio.c 		if (is_vgic_v2_sgi(vcpu, irq)) {