rpi_virt_gpio_pin_set
rv = rpi_virt_gpio_pin_set(dev, pin, val == 0 ? 1 : 0);
DEVMETHOD(gpio_pin_set, rpi_virt_gpio_pin_set),