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