as3722_gpio_pin_getname
DEVMETHOD(gpio_pin_getname, as3722_gpio_pin_getname),
int as3722_gpio_pin_getname(device_t dev, uint32_t pin, char *name);