PCI_MSI_MAX_INTRS
if (((type == DDI_INTR_TYPE_MSI) && (navail > PCI_MSI_MAX_INTRS)) ||
void *intrmap_tbl[PCI_MSI_MAX_INTRS];
apic_irq_t *irqps[PCI_MSI_MAX_INTRS];
void *intrmap_tbl[PCI_MSI_MAX_INTRS];