R_BCM1480_IMR_INTERRUPT_MAP_BASE_H
R_BCM1480_IMR_INTERRUPT_MAP_BASE_H) + (irq << 3)));
R_BCM1480_IMR_INTERRUPT_MAP_BASE_H) + (i << 3)));
__raw_writeq(IMR_IP3_VAL, IOADDR(A_BCM1480_IMR_REGISTER(cpu, R_BCM1480_IMR_INTERRUPT_MAP_BASE_H) +