/* Write a whole GPIO Port. 
Sets all 32 GPIOs of a Port. */
void gpio_port_write(uint32_t gpioport, uint32_t data)
/* Write a whole GPIO Port. 
Sets all 32 GPIOs of a Port. */
void gpio_port_write(uint32_t gpioport, uint32_t data)
{
	GPIO_PDOR(gpioport) = data;
}