pci_irq_route_t
sizeof (pci_irq_route_t));
for (i = 0; i < n * sizeof (pci_irq_route_t); i++)
pci_irq_route_t *routes;
routes = kmem_zalloc(n * sizeof (pci_irq_route_t), KM_SLEEP);
kmem_free(routes, n * sizeof (pci_irq_route_t));
routes = kmem_zalloc(n * sizeof (pci_irq_route_t), KM_SLEEP);
kmem_free(routes, n * sizeof (pci_irq_route_t));
static pci_irq_route_t *pci_irq_routes;
static int pci_bios_get_irq_routing(pci_irq_route_t *, int, int *);
pci_bios_get_irq_routing(pci_irq_route_t *routes, int nroutes, int *nneededp)
n = nroutes * sizeof (pci_irq_route_t);