vf_gpio_pin_max
DEVMETHOD(gpio_pin_max, vf_gpio_pin_max),
static int vf_gpio_pin_max(device_t, int *);