IRQ2REG32
irq, max, min, IRQ2REG32(irq),
sxiintc_imask[IRQ2REG32(irq)][i] &=
sxiintc_imask[IRQ2REG32(irq)][i] |=
INTC_ENABLE_REG(IRQ2REG32(irq)));
INTC_ENABLE_REG(IRQ2REG32(irq)),
INTC_IRQ_PENDING_REG(IRQ2REG32(irq)));
INTC_IRQ_PENDING_REG(IRQ2REG32(irq)),
INTC_ENABLE_REG(IRQ2REG32(irq)));
INTC_ENABLE_REG(IRQ2REG32(irq)),
INTC_ENABLE_REG(IRQ2REG32(irq)));
INTC_ENABLE_REG(IRQ2REG32(irq)),
INTC_ENABLE_REG(IRQ2REG32(irq)));
INTC_ENABLE_REG(IRQ2REG32(irq)),