Searched refs:allocated_irqs (Results 1 – 2 of 2) sorted by relevance
155 d->arch.vgic.allocated_irqs = in domain_vgic_init()157 if ( !d->arch.vgic.allocated_irqs ) in domain_vgic_init()162 set_bit(i, d->arch.vgic.allocated_irqs); in domain_vgic_init()194 xfree(d->arch.vgic.allocated_irqs); in domain_vgic_free()601 return !test_and_set_bit(virq, d->arch.vgic.allocated_irqs); in vgic_reserve_virq()627 virq = find_next_zero_bit(d->arch.vgic.allocated_irqs, end, first); in vgic_allocate_virq()631 while ( test_and_set_bit(virq, d->arch.vgic.allocated_irqs) ); in vgic_allocate_virq()638 clear_bit(virq, d->arch.vgic.allocated_irqs); in vgic_free_virq()
93 unsigned long *allocated_irqs; /* bitmap of IRQs allocated */ member
Completed in 6 milliseconds