/* Sets bits in the interrupt mask. 
When interrupts are masked, it prevents them from being received, which is a quicker way to turn on and off GPIO interrupts (after calling gpio_int_en()). */
void gpio_int_mask(uint16_t gpios, enum gpio_int_masked masked)
/* Sets bits in the interrupt mask. 
When interrupts are masked, it prevents them from being received, which is a quicker way to turn on and off GPIO interrupts (after calling gpio_int_en()). */
void gpio_int_mask(uint16_t gpios, enum gpio_int_masked masked)
{
	if (masked) {
		GPIO_INTMASK_A |= gpios;
	} else {
		GPIO_INTMASK_A &= ~gpios;
	}
}