/* Initializes the GPIO device port, include data direction registers.  */
void port_init(port_t *obj, PortName port, int mask, PinDirection dir)
/* Initializes the GPIO device port, include data direction registers.  */
void port_init(port_t *obj, PortName port, int mask, PinDirection dir)
{
	assert_param(port < GPIO_PORT_NUM);
	obj->port      = port;
	obj->mask      = mask;
	port_dir(obj, dir);
}