Constant gpio_port_t_GPIO_PORT_MAX 

pub const gpio_port_t_GPIO_PORT_MAX: gpio_port_t = 1;