pub type gpio_pin_t = u8;
@brief Provides a type to hold a GPIO pin index.
This reduced-size type is sufficient to record a pin number, e.g. from a devicetree GPIOS property.