/* Generate the DDRx address of the given pin.  */
static uint8_t _ddr_addr(gpio_t pin)
/* Generate the DDRx address of the given pin.  */
static uint8_t _ddr_addr(gpio_t pin)
{
    return (_port_addr(pin) - 0x01);
}