Symbol: is_vgic_v2_sgi
arch/arm64/kvm/vgic/vgic-mmio.c
315
if (is_vgic_v2_sgi(vcpu, irq) && !is_user) {
arch/arm64/kvm/vgic/vgic-mmio.c
327
if (is_vgic_v2_sgi(vcpu, irq))
arch/arm64/kvm/vgic/vgic-mmio.c
401
if (is_vgic_v2_sgi(vcpu, irq) && !is_user) {
arch/arm64/kvm/vgic/vgic-mmio.c
413
if (is_vgic_v2_sgi(vcpu, irq))