/* General Purpose Input/Outputs Write to a Port. 
Write a value to the given GPIO port. */
void gpio_port_write(uint32_t gpioport, uint8_t data)
/* General Purpose Input/Outputs Write to a Port. 
Write a value to the given GPIO port. */
void gpio_port_write(uint32_t gpioport, uint8_t data)
{
	GPIO_DATA(gpioport)[GPIO_ALL] = data;
}