Searched refs:shared_irqs (Results 1 – 2 of 2) sorted by relevance
41 return &v->domain->arch.vgic.shared_irqs[rank - 1]; in vgic_get_rank()142 d->arch.vgic.shared_irqs = in domain_vgic_init()144 if ( d->arch.vgic.shared_irqs == NULL ) in domain_vgic_init()157 vgic_rank_init(&d->arch.vgic.shared_irqs[i], i + 1, 0); in domain_vgic_init()200 xfree(d->arch.vgic.shared_irqs); in domain_vgic_free()
147 struct vgic_irq_rank *shared_irqs; member
Completed in 5 milliseconds