/* General Purpose Input/Outputs Set a Group of Pins Atomic. 
Set one or more pins of the given GPIO port to 1 in an atomic operation. */
void gpio_set(uint32_t gpioport, uint8_t gpios)
/* General Purpose Input/Outputs Set a Group of Pins Atomic. 
Set one or more pins of the given GPIO port to 1 in an atomic operation. */
void gpio_set(uint32_t gpioport, uint8_t gpios)
{
	GPIO_DATA(gpioport)[gpios] = 0xFF;
}