REG_IEC_OFFSET    152 drivers/irqchip/irq-pic32-evic.c 	iecclr = PIC32_CLR(REG_IEC_OFFSET + reg * 0x10);
REG_IEC_OFFSET    259 drivers/irqchip/irq-pic32-evic.c 		u32 iec = REG_IEC_OFFSET + (i * 0x10);