/* Generate the PINx address of the given pin.  */
static uint8_t _pin_addr(gpio_t pin)
/* Generate the PINx address of the given pin.  */
static uint8_t _pin_addr(gpio_t pin)
{
    return (_port_addr(pin) - 0x02);
}