};
static int ioapic_abi_extint_irq = -1;
+static int ioapic_abi_line_irq_max;
struct ioapic_irqinfo ioapic_irqs[IOAPIC_HWI_VECTORS];
KKASSERT(pola == INTR_POLARITY_HIGH || pola == INTR_POLARITY_LOW);
KKASSERT(irq >= 0 && irq < IOAPIC_HWI_VECTORS);
+ if (irq > ioapic_abi_line_irq_max)
+ ioapic_abi_line_irq_max = irq;
+
map = &ioapic_irqmaps[irq];
KKASSERT(map->im_type == IOAPIC_IMT_UNUSED);
kprintf("IOAPIC: irq %d reserved\n", i);
}
}
+ ioapic_abi_line_irq_max += 1;
+ if (bootverbose)
+ kprintf("IOAPIC: line irq max %d\n", ioapic_abi_line_irq_max);
}
int