Home
last modified time | relevance | path

Searched refs:sgi (Results 1 – 3 of 3) sorted by relevance

/arch/mips/
A DKbuild.platforms26 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/
A DKconfig1057 source "arch/mips/sgi-ip27/Kconfig"
/arch/arm64/kvm/vgic/
A Dvgic-mmio-v3.c1045 static void vgic_v3_queue_sgi(struct kvm_vcpu *vcpu, u32 sgi, bool allow_group1) in vgic_v3_queue_sgi() argument
1047 struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, sgi); in vgic_v3_queue_sgi()
1099 u32 sgi, aff0; in vgic_v3_dispatch_sgi() local
1102 sgi = FIELD_GET(ICC_SGI1R_SGI_ID_MASK, reg); in vgic_v3_dispatch_sgi()
1111 vgic_v3_queue_sgi(c_vcpu, sgi, allow_group1); in vgic_v3_dispatch_sgi()
1126 vgic_v3_queue_sgi(c_vcpu, sgi, allow_group1); in vgic_v3_dispatch_sgi()

Completed in 16 milliseconds