REG_IPC_OFFSET    114 drivers/irqchip/irq-pic32-evic.c 		evic_base + PIC32_CLR(REG_IPC_OFFSET + reg * 0x10));
REG_IPC_OFFSET    116 drivers/irqchip/irq-pic32-evic.c 		evic_base + PIC32_SET(REG_IPC_OFFSET + reg * 0x10));