GEMINI_GPIO_INTRCLR
GPIO_WRITE(gpio, GEMINI_GPIO_INTRCLR,
GPIO_WRITE(gpio, GEMINI_GPIO_INTRCLR, irq_mask);