/* Read from a Port. 
Read the current value of the given GPIO port. Only the lower 16 bits contain valid pin data. */
uint16_t gpio_port_read(uint32_t gpioport)
/* Read from a Port. 
Read the current value of the given GPIO port. Only the lower 16 bits contain valid pin data. */
uint16_t gpio_port_read(uint32_t gpioport)
{
	return (uint16_t)GPIO_IDR(gpioport);
}