/* Read a whole GPIO Port. 
Gets all 32 GPIOs of a Port. */
uint32_t gpio_port_read(uint32_t gpioport)
/* Read a whole GPIO Port. 
Gets all 32 GPIOs of a Port. */
uint32_t gpio_port_read(uint32_t gpioport)
{
	return GPIO_PDIR(gpioport);
}