/* 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, uint16_t gpios)
/* 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, uint16_t gpios)
{
	GPIO_BSRR(gpioport) = gpios;
}