/* Return the port and pin numbers from the GPIO number to use with the ADuCM3029 drivers. */
static void gpio_get_portpin(gpio_desc *desc, uint8_t *port, uint16_t *pin)
/* Return the port and pin numbers from the GPIO number to use with the ADuCM3029 drivers. */
static void gpio_get_portpin(gpio_desc *desc, uint8_t *port, uint16_t *pin)
{
	*pin = (ADI_GPIO_DATA)(0x0001 << (desc->number & 0x0F));
	*port = (desc->number & 0xF0) >> 4;
}