GPIO_ICR1
icr_reg = GPIO_ICR1 + ((is->is_irq & 0x10) >> 2);
uint32_t icr_reg = GPIO_ICR1 + ((is->is_irq & 0x10) >> 2);