__attribute__((isr)) void GPIOA_IRQHandler(void) { dw_gpio_irqhandler(0); }
ATTRIBUTE_ISR void GPIOB_IRQHandler(void) { CSI_INTRPT_ENTER(); dw_gpio_irqhandler(1); CSI_INTRPT_EXIT(); }