OCTEON_IRQ_PCI_INT0
ciu_domain, i + OCTEON_IRQ_PCI_INT0, 0, i + 36);
ciu_domain, i + OCTEON_IRQ_PCI_INT0, 4, i);
OCTEON_IRQ_PCI_INT0;
irq_num = ((slot + pin - 3) & 3) + OCTEON_IRQ_PCI_INT0;
return pin - 1 + OCTEON_IRQ_PCI_INT0;