/* Read level of a group of Pins. 
Read the level of a group of Pins for the given port. */
uint32_t gpio_get(uint32_t gpioport, uint32_t gpios)
/* Read level of a group of Pins. 
Read the level of a group of Pins for the given port. */
uint32_t gpio_get(uint32_t gpioport, uint32_t gpios)
{
	return PORT_IN(gpioport) & gpios;
}