IPI
INTC_VECT(HAC, 0x580), INTC_VECT(IPI, 0x5c0),
DMAC, I2C, HUDI, SPDIF, IPI, HAC, TMU, GPIO } },
{ 0xffe00004, 0, 32, 8, /* INT2PRI1 */ { IPI, SPDIF, HUDI, I2C } },