N_PCI_IRQ_ROUTES_MAX
if (nneeded > N_PCI_IRQ_ROUTES_MAX) {
uchar_t slot[N_PCI_IRQ_ROUTES_MAX+1];
ASSERT(pci_irq_nroutes <= N_PCI_IRQ_ROUTES_MAX);