OCTEON_IRQ_PCI_MSI0
ciu_domain, i + OCTEON_IRQ_PCI_MSI0, 0, i + 40);
ciu_domain, i + OCTEON_IRQ_PCI_MSI0, 4, i + 8);
if (request_irq(OCTEON_IRQ_PCI_MSI0, octeon_msi_interrupt0,
if (request_irq(OCTEON_IRQ_PCI_MSI0, octeon_msi_interrupt0,