as3722_gpio_pin_set
DEVMETHOD(gpio_pin_set, as3722_gpio_pin_set),
int as3722_gpio_pin_set(device_t dev, uint32_t pin, unsigned int value);