as3722_gpio_pin_max
DEVMETHOD(gpio_pin_max, as3722_gpio_pin_max),
int as3722_gpio_pin_max(device_t dev, int *maxpin);