/* Write to a Port. 
Write a value to the given GPIO port. */
void gpio_port_write(uint32_t gpioport, uint16_t data)
/* Write to a Port. 
Write a value to the given GPIO port. */
void gpio_port_write(uint32_t gpioport, uint16_t data)
{
	GPIO_ODR(gpioport) = data;
}