58 #define	IRQ_PERMITTED(irq)	(((1U << (irq)) & PERMITTED_IRQS) != 0)  argument
116 pci_irq_reserve(int irq)  in pci_irq_reserve()  argument
119 	assert(irq >= 0 && irq < NIRQ_COUNTS);  in pci_irq_reserve()
121 	assert(irq_counts[irq] == 0 || irq_counts[irq] == IRQ_DISABLED);  in pci_irq_reserve()
122 	irq_counts[irq] = IRQ_DISABLED;  in pci_irq_reserve()
126 pci_irq_use(int irq)  in pci_irq_use()  argument
129 	assert(irq >= 0 && irq < NIRQ_COUNTS);  in pci_irq_use()
131 	assert(irq_counts[irq] != IRQ_DISABLED);  in pci_irq_use()
132 	irq_counts[irq]++;  in pci_irq_use()
160 	pin = pi->pi_lintr.irq.pirq_pin;  in pci_irq_assert()
168 			    pi->pi_lintr.irq.ioapic_irq);  in pci_irq_assert()
174 	vm_ioapic_assert_irq(pi->pi_vmctx, pi->pi_lintr.irq.ioapic_irq);  in pci_irq_assert()
183 	pin = pi->pi_lintr.irq.pirq_pin;  in pci_irq_deassert()
191 			    pi->pi_lintr.irq.ioapic_irq);  in pci_irq_deassert()
197 	vm_ioapic_deassert_irq(pi->pi_vmctx, pi->pi_lintr.irq.ioapic_irq);  in pci_irq_deassert()
204 	int best_count, best_irq, best_pin, irq, pin;  in pirq_alloc_pin()  local
228 		for (irq = 0; irq < NIRQ_COUNTS; irq++) {  in pirq_alloc_pin()
229 			if (irq_counts[irq] == IRQ_DISABLED)  in pirq_alloc_pin()
231 			if (best_irq == -1 || irq_counts[irq] < best_count) {  in pirq_alloc_pin()
232 				best_irq = irq;  in pirq_alloc_pin()
233 				best_count = irq_counts[irq];  in pirq_alloc_pin()
253 pci_irq_route(struct pci_devinst *pi, struct pci_irq *irq)  in pci_irq_route()  argument
259 	if (irq->ioapic_irq == 0)  in pci_irq_route()
260 		irq->ioapic_irq = ioapic_pci_alloc_irq(pi);  in pci_irq_route()
261 	assert(irq->ioapic_irq > 0);  in pci_irq_route()
267 	if (irq->pirq_pin == 0)  in pci_irq_route()
268 		irq->pirq_pin = pirq_alloc_pin(pi);  in pci_irq_route()
269 	assert(irq->pirq_pin > 0);  in pci_irq_route()
278 	int irq, pin;  in pirq_dsdt()  local
281 	for (irq = 0; irq < NIRQ_COUNTS; irq++) {  in pirq_dsdt()
282 		if (!IRQ_PERMITTED(irq))  in pirq_dsdt()
285 			asprintf(&irq_prs, "%d", irq);  in pirq_dsdt()
288 			asprintf(&irq_prs, "%s,%d", old, irq);  in pirq_dsdt()