/* Sets whether the pins are edge triggered or level triggered. 
Sets whether the pins are edge triggered or level triggered. Edge-triggered interrupt bits must be cleared by software. */
void gpio_int_type(uint16_t gpios, enum gpio_trig_type type)
/* Sets whether the pins are edge triggered or level triggered. 
Sets whether the pins are edge triggered or level triggered. Edge-triggered interrupt bits must be cleared by software. */
void gpio_int_type(uint16_t gpios, enum gpio_trig_type type)
{
	if (type) {
		GPIO_INTLEVEL_A |= gpios;
	} else {
		GPIO_INTLEVEL_A &= ~gpios;
	}
}