Searched refs:sgi (Results 1 – 1 of 1) sorted by relevance
910 int sgi, c; in vgic_v3_dispatch_sgi() local915 sgi = (reg & ICC_SGI1R_SGI_ID_MASK) >> ICC_SGI1R_SGI_ID_SHIFT; in vgic_v3_dispatch_sgi()950 irq = vgic_get_irq(vcpu->kvm, c_vcpu, sgi); in vgic_v3_dispatch_sgi()