/* Sets the interrupt trigger polarity. 
Sets whether the interrupt is triggered by a high or low level/edge. */
void gpio_int_pol(uint16_t gpios, enum gpio_pol pol)
/* Sets the interrupt trigger polarity. 
Sets whether the interrupt is triggered by a high or low level/edge. */
void gpio_int_pol(uint16_t gpios, enum gpio_pol pol)
{
	if (pol) {
		GPIO_INTPOLARITY_A |= gpios;
	} else {
		GPIO_INTPOLARITY_A &= ~gpios;
	}
}