/* Set a group of Pins. 
Set a group of Pins for the given port. */
void gpio_set(uint32_t gpioport, uint32_t gpios)
/* Set a group of Pins. 
Set a group of Pins for the given port. */
void gpio_set(uint32_t gpioport, uint32_t gpios)
{
	PORT_OUTSET(gpioport) = gpios;
}