iecclr            131 drivers/irqchip/irq-pic32-evic.c 	u32 iecclr, ifsclr;
iecclr            152 drivers/irqchip/irq-pic32-evic.c 	iecclr = PIC32_CLR(REG_IEC_OFFSET + reg * 0x10);
iecclr            156 drivers/irqchip/irq-pic32-evic.c 	writel(mask, evic_base + iecclr);