Searched refs:irq_sgi_sources (Results 1 – 3 of 3) sorted by relevance
225 u8 *irq_sgi_sources; member
1663 kfree(dist->irq_sgi_sources); in kvm_vgic_destroy()1669 dist->irq_sgi_sources = NULL; in kvm_vgic_destroy()1716 dist->irq_sgi_sources = kzalloc(nr_cpus * VGIC_NR_SGIS, GFP_KERNEL); in vgic_init()1724 if (!dist->irq_sgi_sources || in vgic_init()
40 return dist->irq_sgi_sources + vcpu_id * VGIC_NR_SGIS + sgi; in vgic_get_sgi_sources()