Searched refs:sgi (Results 1 – 3 of 3) sorted by relevance
26 platform-$(CONFIG_SGI_IP22) += sgi-ip22/27 platform-$(CONFIG_SGI_IP27) += sgi-ip27/28 platform-$(CONFIG_SGI_IP28) += sgi-ip22/29 platform-$(CONFIG_SGI_IP30) += sgi-ip30/30 platform-$(CONFIG_SGI_IP32) += sgi-ip32/
1071 source "arch/mips/sgi-ip27/Kconfig"
1007 int sgi, c; in vgic_v3_dispatch_sgi() local1012 sgi = (reg & ICC_SGI1R_SGI_ID_MASK) >> ICC_SGI1R_SGI_ID_SHIFT; in vgic_v3_dispatch_sgi()1047 irq = vgic_get_irq(vcpu->kvm, c_vcpu, sgi); in vgic_v3_dispatch_sgi()