vf_gpio_pin_set
DEVMETHOD(gpio_pin_set, vf_gpio_pin_set),
static int vf_gpio_pin_set(device_t, uint32_t, unsigned int);