REG_IEC_OFFSET
iecclr = PIC32_CLR(REG_IEC_OFFSET + reg * 0x10);
u32 iec = REG_IEC_OFFSET + (i * 0x10);