IVR
IVR = 0x40; /* Set DragonBall IVR (interrupt base) to 64 */
u32 hwirq = xintc_read(irqc, IVR);
hwirq = xintc_read(primary_intc, IVR);