/* General Purpose Input/Outputs Determine if interrupt is generated by the given pin.  */
uint8_t gpio_is_interrupt_source(uint32_t gpioport, uint8_t gpios)
/* General Purpose Input/Outputs Determine if interrupt is generated by the given pin.  */
uint8_t gpio_is_interrupt_source(uint32_t gpioport, uint8_t gpios)
{
	return GPIO_MIS(gpioport) & gpios;
}