Searched refs:pending_irqs (Results 1 – 2 of 2) sorted by relevance
139 d->arch.vgic.pending_irqs = in domain_vgic_init()141 if ( d->arch.vgic.pending_irqs == NULL ) in domain_vgic_init()145 vgic_init_pending_irq(&d->arch.vgic.pending_irqs[i], i + 32); in domain_vgic_init()193 xfree(d->arch.vgic.pending_irqs); in domain_vgic_free()210 memset(&v->arch.vgic.pending_irqs, 0, sizeof(v->arch.vgic.pending_irqs)); in vcpu_vgic_init()212 vgic_init_pending_irq(&v->arch.vgic.pending_irqs[i], i); in vcpu_vgic_init()484 n = &v->arch.vgic.pending_irqs[irq]; in irq_to_pending()488 n = &v->domain->arch.vgic.pending_irqs[irq - 32]; in irq_to_pending()496 return &d->arch.vgic.pending_irqs[irq - 32]; in spi_to_pending()
99 struct pending_irq *pending_irqs; member255 struct pending_irq pending_irqs[32]; member
Completed in 7 milliseconds