Searched refs:irq_sgi_sources (Results 1 – 3 of 3) sorted by relevance
236 u8 *irq_sgi_sources; member
1943 kfree(dist->irq_sgi_sources); in kvm_vgic_destroy()1950 dist->irq_sgi_sources = NULL; in kvm_vgic_destroy()1997 dist->irq_sgi_sources = kzalloc(nr_cpus * VGIC_NR_SGIS, GFP_KERNEL); in vgic_init()2005 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()