/* Sets the pins as external interrupts, rather than normal GPIO. 
Enable interrupts on the selected pins. If you want to quickly switch on and off interrupts, use  */
void gpio_int_enable(uint16_t gpios, bool en)
/* Sets the pins as external interrupts, rather than normal GPIO. 
Enable interrupts on the selected pins. If you want to quickly switch on and off interrupts, use  */
void gpio_int_enable(uint16_t gpios, bool en)
{
	if (en) {
		GPIO_INTEN_A |= gpios;
	} else {
		GPIO_INTEN_A &= ~gpios;
	}
}