/* Clear the specified pin interrupts. 
Clears the specified pin interrupts. Edge-triggered interrupts must be cleared by software. */
void gpio_int_clear(uint16_t gpios)
/* Clear the specified pin interrupts. 
Clears the specified pin interrupts. Edge-triggered interrupts must be cleared by software. */
void gpio_int_clear(uint16_t gpios)
{
	GPIO_INTEOI_A |= gpios;
}